Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
What software engineering can learn from practitioners
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Verification of the redundancy management system for space launch vehicle: a case study
Validating requirements for fault tolerant systems using model checking
Validating metrics for ensuring Space Shuttle flight software quality
Validating functional system requirements with scenarios
Utilizing Event-B for domain engineering: a critical analysis
Using viewpoints to define domain requirements
Using specification-driven concepts for distributed data management and dissemination
Using a systems description language for complete avionics systems
UML-based specification of a railway interlocking and signalling system
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
The role of formal methods in developing a distributed railway interlocking system
Technology transfer issues for formal methods of software specification