![](/img/cover-not-exists.png)
Verification of Flexray Start-Up Mechanism by Timed Automata
Malinský, Jan, Novák, JiříVolume:
17
Language:
english
Journal:
Metrology and Measurement Systems
DOI:
10.2478/v10178-010-0039-z
Date:
January, 2010
File:
PDF, 853 KB
english, 2010