Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    SOLUTIONS - Software - Software for Checking Statecharts


    Published in:

    Publication date :

    2004



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    BKL:    55.60 Raumfahrttechnik / 55.60 / 50.00 / 50.00 Technik allgemein: Allgemeines



    Auto-coding UML statecharts for flight software

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



    Self-checking software

    Cha, Sung D. / Leveson, Nancy G. / Shimeall, Timothy J. et al. | NTRS | 1986


    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archive | 1997


    Software model checking for avionics systems

    Cofer, Darren / Whalen, Michael / Miller, Steven | IEEE | 2008