MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Event name
MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Start date
20-11-2021
End date
22-11-2021
Location
Beijing, China (Online due to Covid)
Country
Event format Veranstaltungsformat
Online
Results 1-2 of 2 (Search time: 0.002 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 |