A Mechanized Model for CAN Protocols

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-37057-1_20 ◽

2013 ◽

pp. 266-281 ◽

Cited By ~ 2

Author(s):

Francesco Bongiovanni ◽

Ludovic Henrio

Download Full-text