2012-2607 Logic Model Checking of Time-Periodic Real-Time Systems
Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA
01.01.2012
8 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
Aerospace , Infotech , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Logic Model Checking of Time-Periodic Real-Time Systems
NTRS | 2012
|Logic Model Checking of Time-Periodic Real-Time Systems
AIAA | 2012
|DataCite | 1895
VORBILD - 50 2607 - Der interessante Lokomotiv-Lebenslauf
Online Contents | 2005
The Ground Segment Integration Framework - End-to-End Monitoring (AIAA 2016-2607)
British Library Conference Proceedings | 2016
|