Applying Model Checking to an Automotive Microcontroller Application
Author: | B. Schlich, F. Salewski, S. Kowalewski |
---|---|
DOI: | https://doi.org/10.1109/SIES.2007.4297337 |
Parent Title (Multiple languages): | Proc. Industrial Embedded Systems (SIES 07), Lisbon, Portugal |
Publisher: | IEEE Computer Society Press |
Document Type: | Part of a Book |
Language: | Multiple languages |
Year of Completion: | 2007 |
Year of first Publication: | 2007 |
Release Date: | 2019/01/11 |
First Page: | 209 |
Last Page: | 216 |
Faculties: | Elektrotechnik und Informatik (ETI) |
Publication list: | Salewski, Falk |
Licence (German): | Bibliographische Daten |