![](/img/cover-not-exists.png)
[IEEE Comput. Soc Sixth IEEE International High-Assurance Systems Engineering Symposium - Boco Raton, FL, USA (22-24 Oct. 2001)] Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking - Finite-state analysis of the CAN bus protocol
van Osch, M., Smolka, S.A.Year:
2001
Language:
english
DOI:
10.1109/HASE.2001.966806
File:
PDF, 160 KB
english, 2001