Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Durand, K. Fazekas, G. Weissenbacher, J. Zwirchmayr:
"Model Checking AUTOSAR Components with CBMC";
Vortrag: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021,
New Haven, Connecticut, USA;
19.10.2021
- 22.10.2021; in: "Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021",
R. Piskac, M. Whalen (Hrg.);
TU Wien Academic Press,
2
(2021),
ISBN: 978-3-85448-046-4;
S. 96
- 101.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.34727/2021/isbn.978-3-85448-046-4_18
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_301566.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.