Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Pragmatische Modellierung von Testfällen für Software im Automobil
An architecture-centric approach for multi-agent system development and application
Deadlock control software for tow automated guided vehicles using Petri Nets
Applying SOFL to specify a railway crossing controller for industry
Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten
A multiplexing communication IC for automotive body-electronic control
Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
Model driven development and code generation: An automotive case study
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Using specification-driven concepts for distributed data management and dissemination
Model-based testing of a reactive system with coloured Petri Nets
Specification based prototyping of control systems
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Formal requirements analysis of an avionics control system