Synonyme wurden verwendet für:
Safety
•
Software
•
Transportation
•
Workshop
Suche ohne Synonyme:
title: International Workshop on Software Specification of Safety Relevant Transportation Control Tasks, 2002
Formal Safety Analysis in Transportation Control
Formal safety analysis in transportation control
Software Specification and Development in the Domain of Railway Signalling
Stochastic Validation and Verification of Railroad Safety-Critical Software
Software specification and development in the domain of railway signalling
UML-based Specification of a Railway Interlocking and Signalling System
Process Model for the Development of a System Requirements Specification for Railway Systems
Functional Modelling and Simulation of Train Control Systems with Petrinets
UML-based specification of a railway interlocking and signalling system
A railway demonstrator model for experimental investigation of integrated specification techniques
Simulation of a Complex Railway Station with a Petri Nets Based Interlocking Model
A Railway Demonstrator for experimental Validation of formal Specifications
Functional modelling and simulation of train control systems
Validation and Verification of a Radio-based Signaling System Using Scenarios
Integration of Message Sequence Charts and Petri Nets in the System Design Process
Process model for the development of system requirements specifications for railway systems
Verification of a radio-based signaling system using scenarios