Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal models of UML statechart diagrams based on Petri nets


    Beteiligte:
    Feng, G. (Autor:in) / Shuzhen, Y. (Autor:in)


    Erscheinungsdatum :

    01.01.2007


    Format / Umfang :

    5 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    DDC:    629.4



    Automated statechart model checking

    Mikk, E. / Pingree, P. J. | NTRS | 2002



    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


    A logic for Petri nets

    Pradier-Chezalviel, B. / Valette, R. | British Library Online Contents | 1997