Synonyme wurden verwendet für:
Automation
•
Automotive
•
Railway
•
Safety
•
Symposium
•
for
•
in
Suche ohne Synonyme:
title: Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT, Symposium of FORMS/FORMAT, 2007
Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems
Basic requirements for the use of formal tools in safety procedures of the railway systems
Formal specifications of railway signalling systems using Stateflow
Formal validation method and tools for computerized railway interlocking systems
Efficient safety case construction and certification for electronic railway systems
A formal approach for deriving collective from individual risk in railway systems
Formal methods and temporal safety requirements: A level crossing application
Object code verification for safety-critical railway control systems
Temporal requirements checking in a safety analysis of railway systems
Functional hazards analysis for railway safety
A proposal for common safety methods for technical systems in European Railways