The following topics were dealt with: microprocessor design for safety; traffic signal software development; reliability through simplicity; system architectures; safety assurance methods; road transport informatics; and formal methods in software development.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    IEE Colloquium on 'Safety Critical Software in Vehicle and Traffic Control', 13 Feb. 1990, London, UK


    Additional title:

    Sicherheitsrelevante Software im Fahrzeug- und Verkehrswesen


    Publication date :

    1990


    Size :

    50 Seiten


    Type of media :

    Conference Proceedings


    Type of material :

    Print


    Language :

    English