Media type: E-Book; Report Title: Faultless systems: Yes we can! Contributor: Abrial, Jean-Raymond [Author] imprint: Swiss Federal Institute of Technology, Information Security, 2009 Published in: Technical Report / ETH Zurich, Department of Computer Science, 629 Language: English DOI: https://doi.org/20.500.11850/69796; https://doi.org/10.3929/ethz-a-006835634 Keywords: VERIFICATION (SOFTWARE ENGINEERING) ; VERIFIKATION (SOFTWARE ENGINEERING) ; computer science ; Data processing ; TESTING + DEBUGGING (SOFTWARE ENGINEERING) ; TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING) 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