Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS
Basic requirements for the use of formal tools in safety procedures of the railway systems
Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen
Standardizing model-based in-vehicle infotainment development in the german automotive industry
Using a systems description language for complete avionics systems
Instantiating generic charts for Railway Interlocking Systems
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
The role of formal methods in developing a distributed railway interlocking system
Applying software engineering principles in train control systems
Formal safety analysis in transportation control
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
Reuse of Requirements Reduces Time to Market