de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Search Details
Quicksearch:
OK
Result-List
Title
Title
Content
Content
Page
Page
Search Book
Specification and verification for real-time coordination protocols of cyber-physical[...]
4 Domain-specific Verification Properties for RTCPs
4.3 MTCTL - A Domain-Specific Verification Property Language for MechatronicUML
4.3.2 Basic Semantics
Loading...
Loading image ...