imProve-HDL, A DO-254 Static Formal Property Checker Used for Design and Verification of Avionics Protocol Controllers
22nd, Digital avionics systems conference; 22nd DASC ; 2003 ; Indianapolis, IN
2003-01-01
1A1
IEEE cat nos 03CH37449
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
DOAJ | 2018
|Model checker for railway signalling communication protocol
British Library Conference Proceedings | 2006
|Formal Verification of the LDACS MAKE Protocol
Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
|