Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems Automatische Modellierung und Fehlerdiagnose zeitlicher nebenläufiger ereignisdiskreter Systeme

Gespeichert in:
1. Verfasser:
Schneider, Stefan
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin Logos Verlag 2015
Umfang:
Online-Ressource (198 S.)
ISBN:
9783832594985
Schlagworte:
Model identification / Modellidentifikation
Timed automata / Zeitbasierte Automaten
Concurrent systems / Nebenläufige Systeme
Bezugswerke:
Links: