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
Statechart testing method for aircraft control systems
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
Requirements specification for process-control systems
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
Increasing UAV capabilities through autopilot and flight plan abstraction
Basic requirements for the use of formal tools in safety procedures of the railway systems
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS
Aspects of formalisation in requirements engineering
Using a systems description language for complete avionics systems