Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Topological manifold-based monitoring method for train-centric virtual coupling control systems
Topological manifold‐based monitoring method for train‐centric virtual coupling control systems
CaVa DSL : Virtual learning spaces formal specification
CaVa: Virtual Learning Spaces Formal Specification (Short Paper)
Standardizing model-based in-vehicle infotainment development in the german automotive industry
Model-based testing of automotive HMIs with consideration for product variability
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL
Utilizing Event-B for domain engineering: a critical analysis
Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption
An approach to formal verification of free-flight separation
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
Reuse of Requirements Reduces Time to Market
Ein Ingenieur-gerechtes formales Beschreibungsmittel
Requirements-based conformance testing of ARINC 653 real-time operating systems