Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Experiences in integrating auto-translated state-chart designs for model-checking


    Contributors:

    Conference:

    Workshop on Model Checking for Dependable Software - Intensive Systems


    Publication date :

    2003-06-22


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Checking percentages by chart

    Wyer, William | Engineering Index Backfile | 1919


    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014


    Checking designs of recent Toyota cars

    Matsuo,Y. / Toyota Motor,JP | Automotive engineering | 2001


    Checking Designs of Recent Toyota Cars

    Matsuo, Yoshihiko | Online Contents | 2001