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