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
Echo: a practical approach to formal verification
An approach to formal verification of free-flight separation
Requirements of an integrated formal method for intelligent swarms
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
Model checking large software specifications
Preparing the next generation of IMA: a new technology for the SCARLETT program
Modellierung der Forms-Fallstudien mit Statemate
Increasing UAV capabilities through autopilot and flight plan abstraction
Basic requirements for the use of formal tools in safety procedures of the railway systems
Using a systems description language for complete avionics systems
Aspects of formalisation in requirements engineering