Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

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



    Publication date :

    2011-01-01


    Size :

    2011-01-1002


    Remarks:

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



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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. | Automotive engineering | 2009