Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Book title Buchtitel
Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Publisher Herausgeber
Association for Computing Machinery
Place of publishing Erscheinungsort
New York, NY, United States
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Freiberger, Felix ; Schupp, Stefan ; Hermanns, Holger ; Ábrahám, Erika | Controller verification meets controller code | Konferenzbeitrag Inproceedings  | 2021 | |
| 2 | Visconti, Ennio ; Bartocci, Ezio ; Loreti, Michele ; Nenzi, Laura | Online monitoring of spatio-temporal properties for imprecise signals | Konferenzbeitrag Inproceedings | 2021 |