Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
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
Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption
Ein Ingenieur-gerechtes formales Beschreibungsmittel
Evaluating a control system architecture based on a formally derived AOCS model
Formal modeling and verification of real-time concurrent systems
Automated translation of safety critical application software specifications into PLC ladder logic
Basic requirements for the use of formal tools in safety procedures of the railway systems
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Model-based testing of a reactive system with coloured Petri Nets
Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles
The role of formal methods in developing a distributed railway interlocking system
Computer automated multi-paradigm modelling for analysis and design of traffic networks
Automated specification-based test case generation using SCR
Automated specification-based test case generation using SCR