Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
Information and Computation
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
Robust sampling for MITL specifications
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Hi-index | 0.00 |