Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal models of UML statechart diagrams based on Petri nets


    Contributors:
    Feng, G. (author) / Shuzhen, Y. (author)


    Publication date :

    2007-01-01


    Size :

    5 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown


    Classification :

    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 Archive | 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