PARAGON: An Paradigm for the Specification, Verification, and Testing of Real-Time Systems
Conference, Aerospace ; 1997
1997-01-01
20 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Specification and verification of embedded real-time systems in the automotive domain
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2011
|