Formal modeling and verification of shop floor controller logics
AsiaMS '07 Proceedings of the IASTED Asian Conference on Modelling and Simulation
Simulation based control program verification in an automobile industry
MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
Verification of real-time systems: application to the transportation domain
NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
Layered composition for timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
Toward consistency checking of natural language temporal requirements
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
| Hi-index | 0.00 |