Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automated statechart model checking


    Contributors:
    Mikk, E. (author) / Pingree, P. J. (author)

    Conference:

    CSMISS IT Spotlight Series


    Publication date :

    2002-08-28


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Statechart testing method for aircraft control systems

    Bogdanov, K. / Holcombe, M. | Tema Archive | 2001



    Automated model checking with promela/spin

    Benowitz, E. / Pingree, P. | NTRS | 2002