2012-2607 Logic Model Checking of Time-Periodic Real-Time Systems
2012-2607 Logic Model Checking of Time-Periodic Real-Time Systems
- New search for: Florian, M.
- New search for: Gamble, E.
- New search for: Holzmann, G.
- New search for: American Institute of Aeronautics and Astronautics
- New search for: Florian, M.
- New search for: Gamble, E.
- New search for: Holzmann, G.
- New search for: American Institute of Aeronautics and Astronautics
Document information
2012-2607 Logic Model Checking of Time-Periodic Real-Time Systems
Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA
2012-01-01
8 pages
Includes bibliographical references and index
Conference paper
English
Aerospace , Infotech , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Similar titles
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