SmartATMS: a simulator for air traffic management systems
Proceedings of the 29th conference on Winter simulation
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and simulation of cardiac tissue using hybrid I/O automata
Theoretical Computer Science
Symbolic reachability analysis of lazy linear hybrid automata
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Hi-index | 0.00 |