Formal analysis and verification of self-healing systems

Bibliographische Detailangaben

Hauptverfasser:	Ehrig, Hartmut 1944-2016 (VerfasserIn), Ermel, Claudia (VerfasserIn), Runge, Olga (VerfasserIn), Bucchiarone, Antonio (VerfasserIn), Pelliccione, Patrizio (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin Technische Universität Berlin March 17, 2010
Ausgabe:	Long version
Schriftenreihe:	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2010-04
Schlagworte:	Attributierte Graph-Grammatik Verifikation Wiederherstellung > Informatik Forschungsbericht
Online-Zugang:	11303/11353 kostenfrei https://hdl.handle.net/11303/11353 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702135023343828 https://d-nb.info/1212112784/34
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!