Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Pingree, P. J. (Autor:in) / Benowitz, E. G. (Autor:in)

    Kongress:

    Workshop on Model Checking for Dependable Software - Intensive Systems


    Erscheinungsdatum :

    22.06.2003


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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 | Kraftfahrwesen | 2001


    Checking Designs of Recent Toyota Cars

    Matsuo, Yoshihiko | Online Contents | 2001