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
Conference paper
English
© 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
|