Logic Model Checking of Time-Periodic Real-Time Systems
Infotech@Aerospace 2012
2012-01-01
Conference paper
Electronic Resource
English
Logic Model Checking of Time-Periodic Real-Time Systems
NTRS | 2012
|2012-2607 Logic Model Checking of Time-Periodic Real-Time Systems
British Library Conference Proceedings | 2012
|Analysis of real-time code by model checking
IEEE | 2000
|