Specifying and Verifying Timing Properties of a Time-triggered Protocol for In-vehicle Communication.

Bo Zhang

Browse the full SNPD paper archive.