Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Automated specification-based test case generation using SCR
Automated specification-based test case generation using SCR
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
Requirements of an integrated formal method for intelligent swarms
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
An approach to formal verification of free-flight separation
Model checking large software specifications
Requirements specification for process-control systems
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
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
Basic requirements for the use of formal tools in safety procedures of the railway systems
Using a systems description language for complete avionics systems