Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Multi-Project Capability in Checking Software Models



    Erschienen in:

    Auto Tech Review ; 3 , 4 ; 32-35


    Erscheinungsdatum :

    01.04.2014


    Format / Umfang :

    4 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Self-checking software

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



    Dynamic checking method for multi-time-scale adjustable capability of virtual power plant

    CUI YIBO / LING ZAIXUN / SUN JINLI et al. | Europäisches Patentamt | 2025

    Freier Zugriff

    Model checking large software specifications

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


    Model checking for software security properties

    Powell, J. D. / Gilliam, D. P. | NTRS | 2002