Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal modeling and analysis of UML statecharts


    Contributors:
    Shuzhen, Y. (author) / Maozhong, J. (author)


    Publication date :

    2007-01-01


    Size :

    5 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown


    Classification :

    DDC:    629.4



    Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example

    Degani, A. / Gellatly, A.W. / Society of Automotive Engineers | British Library Conference Proceedings | 2011


    Modeling Human-Machine Interactions Using Statecharts: One Hot and Cool Example

    Gellatly PhD, Andrew W. / Degani, Asaf | SAE Technical Papers | 2011


    Auto-coding UML statecharts for flight software

    Benowitz, E. / Clark, K. / Watney, G. | IEEE | 2006


    Auto-Coding UML Statecharts for Flight Software

    Benowitz, Edward G / Clark, Ken / Watney, Garth J. | NTRS | 2006


    Beschreibung elektronischer Steuergeräte mit Use Cases und Statecharts

    Denger, Christian / Paech, Barbara / Knethe, Antje von et al. | Tema Archive | 2003