17th International Conference on Formal Modeling and Analysis of Timed Systems

View Statistics Email Alert RSS Feed

Description

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
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A. Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with UncertaintyKonferenzbeitrag Inproceedings2019