de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Specification and verification for real-time coordination protocols of cyber-physical[...]
5 Domain-specific Model Checking of RTCPs
5.4 Model-To-Model Translation from RTCPs to Uppaal
5.4.13 MechatronicUML to Uppaal Migration
Wird geladen ...
Wird geladen ...