Media type: E-Book; Doctoral Thesis; Electronic Thesis Title: Formal Verification of Fault-Tolerant Systems Contributor: Marić, Ognjen [Author] imprint: ETH Zürich, 2017 Language: English DOI: https://doi.org/20.500.11850/130815; https://doi.org/10.3929/ethz-a-010892776 Keywords: ZUVERLÄSSIGKEIT + TESTEN + FEHLERTOLERANZ (HARDWARE) ; Data processing ; RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING) ; DISTRIBUTED SYSTEMS (COMPUTER SYSTEMS) ; ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING) ; RELIABILITY + TESTING + FAULT TOLERANCE (HARDWARE) ; computer science ; VERIFICATION (SOFTWARE ENGINEERING) ; COPROCESSORS (HARDWARE) ; VERTEILTE SYSTEME (COMPUTERSYSTEME) ; VERIFIKATION (SOFTWARE ENGINEERING) ; KOPROZESSOREN (HARDWARE) Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted