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 |