Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen

Treffer: Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments

Titel:
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments / Diogo Behrens ; Marco Serafini ; Sergei Arnautov ; Flavio Junqueira ; Christof Fetzer
Veröffent­licht:
Dresden [u.a.] : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden[u.a.], 2016
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technische Berichte / Technische Universität Dresden, Fakultät Informatik ; 2015,01(TUD-FI15-01-Februar 2015)
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Scalable error isolation for distributed systems. - Dresden : Technische Universität Dresden, Fakultät Informatik, 2015. - 54 S.
Anmerkungen:
In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-79344