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
Verification and simulation of self-adaptive mechatronic systems
5 Verifying Refinements based on Test Automata
5.3 Test automata-based Refinement Checking
5.3.4 Parallel Composition and Reachability Analysis
Wird geladen ...
Wird geladen ...