Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: 2019 | 2018
Number of items: 2.

2019

Moggi, Eugenio, Farjudian, Amin and Taha, Walid (2019) System analysis and robustness. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11200 . pp. 36-44. ISSN 0302-9743

2018

Moggi, Eugenio, Farjudian, Amin, Duracz, Adam and Taha, Walid (2018) Safe & robust reachability analysis of hybrid systems. Theoretical Computer Science, 747 . pp. 75-99. ISSN 03043975

This list was generated on Sun Dec 22 02:27:33 2024 UTC.