Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Standardizing model-based in-vehicle infotainment development in the german automotive industry
An approach to the pervasive formal specification and verification of an automotive system
Computing worst-case response times in real-time avionics applications
Software assurance with SAMATE reference dataset, tool standards, and studies
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL
Specification and verification of a single-track railroad signaling in CafeOBJ
Formal safety analysis in transportation control
Applying software engineering principles in train control systems
Reuse of Requirements Reduces Time to Market
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
Risk assessment of software-system specifications
Formal verification of safety requirements on complex systems
Hazard analysis of complex distributed railway systems
Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode
What software engineering can learn from practitioners
Investigating the readability of state-based formal requirements specification languages
Ein Pflichtenheft bewahrt Kunden vor dem Absturz. Der Eurofighter im Labor