Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
CaVa DSL : Virtual learning spaces formal specification
Automated specification-based test case generation using SCR
Automated specification-based test case generation using SCR
CaVa: Virtual Learning Spaces Formal Specification (Short Paper)
Extending the use of measurement
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
Requirements specification for process-control systems
Modellierung der Forms-Fallstudien mit Statemate
Increasing UAV capabilities through autopilot and flight plan abstraction
Preparing the next generation of IMA: a new technology for the SCARLETT program
Aspects of formalisation in requirements engineering