Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems


    Beteiligte:

    Kongress:

    World Congress, Society of Automotive Engineers; SAE 2011 ; 2011 ; Detroit, MI



    Erscheinungsdatum :

    2011-01-01


    Format / Umfang :

    2011-01-1002


    Anmerkungen:

    SAE 2011-01-0002 - 2011-01-1437 held with gaps



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems

    Chakrapani Rao, Arun / Dixit, Manoj G. / Sethu, Ramesh | SAE Technical Papers | 2011


    Formal Software Techniques for Railway Systems

    Bjorner, D. / International Federation of Automatic Control | British Library Conference Proceedings | 2001


    Requirements Analysis for Information-Intensive Systems

    Callender, E. D. / Hartsough, C. / Morris, R. V. et al. | NTRS | 1986


    Electronic requirements for automotive hydrogen storage systems

    Eichberger,B. / Krainz,G. / Tech.Univ.Graz,AT et al. | Kraftfahrwesen | 2009