Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
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
Basic requirements for the use of formal tools in safety procedures of the railway systems
Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen
Standardizing model-based in-vehicle infotainment development in the german automotive industry