Synonyms were used for:
formale Spezifikation
Search without synonyms:
keywords:(formale Spezifikation)
CaVa: Virtual Learning Spaces Formal Specification (Short Paper)
CDL: a language for specifying high-level cross-domain security policies
Statechart testing method for aircraft control systems
Echo: a practical approach to formal verification
An approach to formal verification of free-flight separation
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Requirements of an integrated formal method for intelligent swarms
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
Requirements specification for process-control systems
Model checking large software specifications
Modellierung der Forms-Fallstudien mit Statemate
Preparing the next generation of IMA: a new technology for the SCARLETT program
Increasing UAV capabilities through autopilot and flight plan abstraction
Aspects of formalisation in requirements engineering
Using a systems description language for complete avionics systems
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS
Standardizing model-based in-vehicle infotainment development in the german automotive industry