Towards Formal Implementation of PUS Standard
Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey
01.01.2009
23 pages
Held in e-store (RMS); Held on CD-ROM
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
From Formal Specification to Verified Implementation
IEEE | 2024
|Towards a formal manufacturing reference ontology
Tema Archiv | 2013
|Towards Formal Verification of a Separation Microkernel
British Library Conference Proceedings | 2013
|Towards a Formal Approach to Swarm Technology
AIAA | 2004
|