Applying Model Checking to an Automotive Microcontroller Application
| Verfasserangaben: | B. Schlich, F. Salewski, S. Kowalewski |
|---|---|
| DOI: | https://doi.org/10.1109/SIES.2007.4297337 |
| Titel des übergeordneten Werkes (Mehrsprachig): | Proc. Industrial Embedded Systems (SIES 07), Lisbon, Portugal |
| Verlag: | IEEE Computer Society Press |
| Dokumentart: | Beitrag in einem Buch (Kapitel) |
| Sprache: | Mehrsprachig |
| Jahr der Fertigstellung: | 2007 |
| Jahr der Erstveröffentlichung: | 2007 |
| Datum der Freischaltung: | 11.01.2019 |
| Erste Seite: | 209 |
| Letzte Seite: | 216 |
| Fachbereiche: | Elektrotechnik und Informatik (ETI) |
| Publikationsliste: | Salewski, Falk |
| Lizenz (Deutsch): |  Bibliographische Daten |