17th International Conference on Formal Modeling and Analysis of Timed Systems
Event name
17th International Conference on Formal Modeling and Analysis of Timed Systems
Event type
Event for scientific audience
Start date
27-08-2019
End date
29-08-2019
Location
Amsterdam, The Netherlands
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (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 |