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