Formal analysis and verification of self-healing systems

Formal analysis and verification of self-healing systems

Gespeichert in:
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!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

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

Ähnliche Einträge