Meinten Sie:
keywords:(formal spezifikation)
Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Basic requirements for the use of formal tools in safety procedures of the railway systems
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL
The role of formal methods in developing a distributed railway interlocking system
Applying software engineering principles in train control systems
Formal safety analysis in transportation control
Ein Ingenieur-gerechtes formales Beschreibungsmittel
Model-based testing of automotive HMIs with consideration for product variability
Validating requirements for fault tolerant systems using model checking
Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
A railway demonstrator model for experimental investigation of integrated specification techniques
Integration of functional, cognitive and quality requirements. A railways case study
Formal modeling and verification of real-time concurrent systems
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung