Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Topological manifold-based monitoring method for train-centric virtual coupling control systems
Topological manifold‐based monitoring method for train‐centric virtual coupling control systems
CaVa DSL : Virtual learning spaces formal specification
CaVa: Virtual Learning Spaces Formal Specification (Short Paper)
Standardizing model-based in-vehicle infotainment development in the german automotive industry
Model-based testing of automotive HMIs with consideration for product variability
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL
Utilizing Event-B for domain engineering: a critical analysis
Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption
An approach to formal verification of free-flight separation
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
Reuse of Requirements Reduces Time to Market
Ein Ingenieur-gerechtes formales Beschreibungsmittel
Requirements-based conformance testing of ARINC 653 real-time operating systems
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Deadlock control software for tow automated guided vehicles using Petri Nets
Evaluating a control system architecture based on a formally derived AOCS model
Preparing the next generation of IMA: a new technology for the SCARLETT program
A new approach for gateway-based automotive network architectures
CDL: a language for specifying high-level cross-domain security policies
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Computing worst-case response times in real-time avionics applications
Formal modeling and verification of real-time concurrent systems
Automated translation of safety critical application software specifications into PLC ladder logic
Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug
Formalized conceptualization for the harmonization of the legal framework in railway transportation
An approach for formal modelling of concepts of transportation and metrology standards
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
Software assurance with SAMATE reference dataset, tool standards, and studies
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
Runtime adaptation in safety-critical automotive systems
Model driven development and code generation: An automotive case study