Logic Model Checking of Time-Periodic Real-Time Systems
Infotech@Aerospace 2012
01.01.2012
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
|