Formal Methods for Industrial Critical Systems
Book title Buchtitel
Formal Methods for Industrial Critical Systems
Publisher Herausgeber
Springer / LNCS
Place of publishing Erscheinungsort
8718
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Basold, Henning ; Günther, Henning ; Huhn, Michaela ; Milius, Stefan | An Open Alternative for SMT-Based Verification of Scade Models | Konferenzbeitrag Inproceedings  | 2014 | |
| 2 | Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan | Past Time LTL Runtime Verification for Microcontroller Binary Code | Konferenzbeitrag Inproceedings | 2011 |