Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Andrea Bondavalli, Mario Dal Cin, Klaus Echtle, and Erik Maehle. Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems (Dagstuhl Seminar 00131). Dagstuhl Seminar Report 270, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)
@TechReport{bondavalli_et_al:DagSemRep.270, author = {Bondavalli, Andrea and Dal Cin, Mario and Echtle, Klaus and Maehle, Erik}, title = {{Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems (Dagstuhl Seminar 00131)}}, pages = {1--21}, ISSN = {1619-0203}, year = {2000}, type = {Dagstuhl Seminar Report}, number = {270}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.270}, URN = {urn:nbn:de:0030-drops-151555}, doi = {10.4230/DagSemRep.270}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Klaus Echtle, Winfried Görke, Jean-Claude Laprie, and Winfrid Schneeweiss. Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations (Dagstuhl Seminar 9546). Dagstuhl Seminar Report 132, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)
@TechReport{echtle_et_al:DagSemRep.132, author = {Echtle, Klaus and G\"{o}rke, Winfried and Laprie, Jean-Claude and Schneeweiss, Winfrid}, title = {{Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations (Dagstuhl Seminar 9546)}}, pages = {1--14}, ISSN = {1619-0203}, year = {1996}, type = {Dagstuhl Seminar Report}, number = {132}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.132}, URN = {urn:nbn:de:0030-drops-150198}, doi = {10.4230/DagSemRep.132}, }