Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automated Verification of Code Generated from Models: Comparing Specifications with Observations



    Conference:

    Conference, Data systems in aerospace DASIA ; 2008 ; Palma de Majorca, Spain



    Publication date :

    2008-01-01


    Size :

    27 pages


    Remarks:

    Held in e-store (RMS)




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Automated verification of code generated from models: Comparing specifications with observations

    Gerlich, Ralf / Sigg, Daniel / Gerlich, Rainer | Tema Archive | 2008


    Automated testing from specifications

    Srinivasan, J. / Leveson, N. | IEEE | 2002


    Automated derivation of tests from specifications

    Stoitsev, Todor / Straw, Steven / Legat, Christoph et al. | AIAA | 2018