Synonyme wurden verwendet für:
formal specification
Suche ohne Synonyme:
keywords:(formal specification)
Requirements of an integrated formal method for intelligent swarms
CDL: a language for specifying high-level cross-domain security policies
Requirements specification for process-control systems
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
Statechart testing method for aircraft control systems
Preparing the next generation of IMA: a new technology for the SCARLETT program
Echo: a practical approach to formal verification
Basic requirements for the use of formal tools in safety procedures of the railway systems
Aspects of formalisation in requirements engineering
Standardizing model-based in-vehicle infotainment development in the german automotive industry
Instantiating generic charts for Railway Interlocking Systems
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
An approach to the pervasive formal specification and verification of an automotive system
An approach to formal verification of free-flight separation
Software assurance with SAMATE reference dataset, tool standards, and studies
Specification and verification of a single-track railroad signaling in CafeOBJ