Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
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
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
Reuse of Requirements Reduces Time to Market
Requirements-based conformance testing of ARINC 653 real-time operating systems
Deadlock control software for tow automated guided vehicles using Petri Nets
Evaluating a control system architecture based on a formally derived AOCS model
Preparing the next generation of IMA: a new technology for the SCARLETT program
CDL: a language for specifying high-level cross-domain security policies