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.
IEE Colloquium on 'Safety Critical Software in Vehicle and Traffic Control', 13 Feb. 1990, London, UK
Sicherheitsrelevante Software im Fahrzeug- und Verkehrswesen
1990
50 Seiten
Konferenzband
Englisch
Safety critical software in traffic control systems
Tema Archiv | 1990
|IEE Colloquium on 'NDT Technology in Aerospace', 15 Jan. 1990, London, UK
Tema Archiv | 1990