Did you mean:
keywords:(formal spezifikation)
Synonyms were used for:
formale Spezifikation
Search without synonyms:
keywords:(formale Spezifikation)
Topological manifold‐based monitoring method for train‐centric virtual coupling control systems
Topological manifold-based monitoring method for train-centric virtual coupling control systems
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
Developing safety-critical real-time systems with SDL design patterns and components
A database architecture for reusable CommonKADS agent specification components
Statechart testing method for aircraft control systems
Risk assessment of software-system specifications
Safety checking in an automatic train operation system
Integration of functional, cognitive and quality requirements. A railways case study
Using viewpoints to define domain requirements
Experiences using lightweight formal methods for requirements modeling
Formal requirements analysis of an avionics control system
Method and specification tools for Airbus onboard systems
Requirements specification for process-control systems
Validating metrics for ensuring Space Shuttle flight software quality