Affiliation:
1. Università di Roma ‘La Sapienza’; Roma Italy
2. Università di Verona; Verona Italy
3. Maastricht University; Maastricht The Netherlands
4. ALES S.r.l.; Roma Italy
Subject
Electrical and Electronic Engineering,Industrial and Manufacturing Engineering,Mechanical Engineering,Aerospace Engineering,Biomedical Engineering,General Chemical Engineering,Control and Systems Engineering
Reference37 articles.
1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
2. Prom timed to hybrid systems
3. Continuity and computability of reachable sets;Collins;Theoretical Computer Science,2005
4. Kronos: ass verification tool for real-time systems;Yovine;International Journal on Software Tools for Technology Transfer,1997
5. UPPAAL in a nutshell;Larsen;International Journal on Software Tools for Technology Transfer,1997
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献