29th International Symposium on Model Checking Software

Event name
29th International Symposium on Model Checking Software
 
Event type
Event for scientific audience
 
Start date
26-04-2023
End date
27-04-2023
 
Location
Paris
Country
France
 
Conference Track
Single Track
Organizing institution Veranstaltende Institution
Sorbonne Université
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness PropertiesInproceedings Konferenzbeitrag 2023