Application Development for Safety Critical Distributed Embedded Systems with Model Verification
| Zugehörige Institution(en) am KIT | Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (FZI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2006 |
| Sprache | Englisch |
| Identifikator | ISBN: 0-7680-1764-5 KITopen-ID: 1000004649 |
| Erschienen in | Safety Critical Systems. Held during the SAE 2006 world congress, April 3 - 6, 2006, Cobo Center, Detroit, MI, USA |
| Verlag | SAE International |
| Seiten | 121-128 |
| Serie | SAE-SP ; 2029 |