Applying timed interval calculus to simulink diagrams
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Integrating discrete- and continuous-time metric temporal logics through sampling
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 0.00 |