Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Application of Model Checking to Automotive Control Software with Slicing Technique


    Beteiligte:

    Kongress:

    SAE 2013 world congress and exhibition ; 2013 ; Detroit, MI



    Erscheinungsdatum :

    2013-01-01


    Format / Umfang :

    436 pages


    Anmerkungen:

    Papers 2013-01-0150 to 2013-01-1779 held with gaps



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


    Application of Model Checking to Automotive Control Software with Slicing Technique

    Narisawa, Fumio / Yamanaka, Hisamitsu / Sakurai, Kohei et al. | SAE Technical Papers | 2013


    Application of model checking to automotive control software with slicing technique

    Matsubara,M. / Sakurai,K. / Narisawa,F. et al. | Kraftfahrwesen | 2013


    Applying model checking to an automotive microcontroller application

    Schlich, B. / Salewski, F. / Kowalewski, S. | Tema Archiv | 2007


    Model checking large software specifications

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


    Model Checking Control Software for Nonlinear Dynamic Systems

    Kapinski, James / Donze, Alexandre / Lerda, Flavio et al. | AIAA | 2008