Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automated statechart model checking


    Beteiligte:
    Mikk, E. (Autor:in) / Pingree, P. J. (Autor:in)

    Kongress:

    CSMISS IT Spotlight Series


    Erscheinungsdatum :

    28.08.2002


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Statechart testing method for aircraft control systems

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



    Statechart-based representation of hybrid controllers for vehicle automation

    Lee, J.-S. / Hsu, P.-L. | IET Digital Library Archive | 2006


    Formal models of UML statechart diagrams based on Petri nets

    Feng, G. / Shuzhen, Y. | British Library Online Contents | 2007


    Automated model checking with promela/spin

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