Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    imProve-HDL, A DO-254 Static Formal Property Checker Used for Design and Verification of Avionics Protocol Controllers


    Contributors:

    Conference:

    22nd, Digital avionics systems conference; 22nd DASC ; 2003 ; Indianapolis, IN



    Publication date :

    2003-01-01


    Size :

    1A1


    Remarks:

    IEEE cat nos 03CH37449



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English







    Model checker for railway signalling communication protocol

    Hwang, J.-G. / Jo, H.-J. / Lee, J. H. | British Library Conference Proceedings | 2006


    Formal Verification of the LDACS MAKE Protocol

    Mäurer, Nils / Grundner-Culemann, Sophia | German Aerospace Center (DLR) | 2022

    Free access