Browse by Authors and Editors

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

Article

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

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 Sat Dec 21 00:47:41 2024 UTC.