Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
A database architecture for reusable CommonKADS agent specification components
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
A multiplexing communication IC for automotive body-electronic control
An approach for formal modelling of concepts of transportation and metrology standards
An approach to formal verification of free-flight separation
An approach to the pervasive formal specification and verification of an automotive system
An architecture-centric approach for multi-agent system development and application
A new approach for gateway-based automotive network architectures
An example of risk assessment of software systems specifications
An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
Applying SOFL to specify a railway crossing controller for industry
Applying software engineering principles in train control systems
A railway demonstrator model for experimental investigation of integrated specification techniques
Are proof techniques industrially operational?
Aspects of formalisation in requirements engineering