Synonyme wurden verwendet für:
Safety
•
Transportation
Suche ohne Synonyme:
keywords:(Transportation Safety)
Software Specification and Development in the Domain of Railway Signalling
Functional Modelling and Simulation of Train Control Systems with Petrinets
Simulation of a Complex Railway Station with a Petri Nets Based Interlocking Model
Stochastic Validation and Verification of Railroad Safety-Critical Software
Formal Safety Analysis in Transportation Control
Integration of Message Sequence Charts and Petri Nets in the System Design Process
Process Model for the Development of a System Requirements Specification for Railway Systems
UML-based Specification of a Railway Interlocking and Signalling System
Validation and Verification of a Radio-based Signaling System Using Scenarios
A Railway Demonstrator for experimental Validation of formal Specifications
Designing small cars for safety