Hybrid, recursive, nested monitoring of control systems using Petri nets and particle filters

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Mekacher, Leila (VerfasserIn) , Wagner, Achim (VerfasserIn) , Badreddin, Essameddin (VerfasserIn)
Dokumenttyp: Kapitel/Artikel Konferenzschrift
Sprache:Englisch
Veröffentlicht: 2010
In: 2010 IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010)
Year: 2010, Pages: 73-79
Online-Zugang:Verlag, Volltext: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5542616
Volltext
Verfasserangaben:Leila Zouaghi, Achim Wagner, and Essam Badreddin
Beschreibung
Beschreibung:Gesehen am 25.03.2019
Beschreibung:Online Resource
ISBN:9781424477296