Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "107905582"
Treffer 15 von 186
|
|
| Link zu diesem Datensatz | https://d-nb.info/1212112784 |
| Titel | Formal Analysis and Verication of Self-Healing Systems: Long Version / Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione |
| Person(en) |
Ehrig, Hartmut (Verfasser) Ermel, Claudia (Verfasser) Runge, Olga (Verfasser) Bucchiarone, Antonio (Verfasser) Pelliccione, Patrizio (Verfasser) |
| Verlag | Berlin : Technische Universität Berlin |
| Zeitliche Einordnung | Erscheinungsdatum: 2020 |
| Umfang/Format | Online-Ressource |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Formal analysis and verification of self-healing systems: long version |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2020061702135023343828 DOI: 10.14279/depositonce-10240 Handle: 11303/11353 |
| URL | (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 2010-04 |
| DDC-Notation | 004.01 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 15 von 186
Administration
