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
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
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
Preparing the next generation of IMA: a new technology for the SCARLETT program
Increasing UAV capabilities through autopilot and flight plan abstraction
Aspects of formalisation in requirements engineering
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
Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen
Using a systems description language for complete avionics systems
Standardizing model-based in-vehicle infotainment development in the german automotive industry
Instantiating generic charts for Railway Interlocking Systems
An approach to the pervasive formal specification and verification of an automotive system
Computing worst-case response times in real-time avionics applications
Software assurance with SAMATE reference dataset, tool standards, and studies
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL
The role of formal methods in developing a distributed railway interlocking system
Specification and verification of a single-track railroad signaling in CafeOBJ
Topological manifold‐based monitoring method for train‐centric virtual coupling control systems
Topological manifold-based monitoring method for train-centric virtual coupling control systems
Applying software engineering principles in train control systems
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
Risk assessment of software-system specifications
Reuse of Requirements Reduces Time to Market
Formal safety analysis in transportation control
Auf solide Basis. Effiziente Entwicklung von Diagnosefunktionen im Automobil
Formal verification of safety requirements on complex systems
What software engineering can learn from practitioners
Hazard analysis of complex distributed railway systems
Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode
Ein Pflichtenheft bewahrt Kunden vor dem Absturz. Der Eurofighter im Labor