Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
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
Requirements of an integrated formal method for intelligent swarms
An approach to formal verification of free-flight separation
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Model checking large software specifications
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain