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