Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Application of model checking to automotive control software with slicing technique


    Weitere Titelangaben:

    Anwendung der Modellpruefung von Steuerungssoftware fuer Kraftwagen mit Hilfe der Slicing Technik.


    Beteiligte:
    Matsubara,M. (Autor:in) / Sakurai,K. (Autor:in) / Narisawa,F. (Autor:in) / Enshoiwa,M. (Autor:in) / Hitachi,JP

    Erscheinungsdatum :

    2013


    Format / Umfang :

    7 pages


    Anmerkungen:

    SAE-Paper;2013-01-0436;2013


    Medientyp :

    Sonstige


    Format :

    Print


    Sprache :

    Englisch



    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. | British Library Conference Proceedings | 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