Schilling, Christian

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Schilling, Christian
 

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  Simplex architectures

Results 1-1 of 1 (Search time: 0.002 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