Formal Modeling and Analysis of Timed Systems
Book title Buchtitel
Formal Modeling and Analysis of Timed Systems
ISBN
978-3-030-29661-2
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-030-29662-9
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A. ; André, Étienne ; Stoelinga, Mariëlle | Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty | Konferenzbeitrag Inproceedings | 2019 | |
| 2 | Schmid, Ulrich | Synchrony and Time in Fault-Tolerant Distribiuted Algorithms | Konferenzbeitrag Inproceedings | 2010 |