21. SAFECOMP 2002:
Catania,
Italy
Stuart Anderson, Sandro Bologna, Massimo Felici (Eds.):
Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings.
Lecture Notes in Computer Science 2434 Springer 2002, ISBN 3-540-44157-3 BibTeX
@proceedings{DBLP:conf/safecomp/2002,
editor = {Stuart Anderson and
Sandro Bologna and
Massimo Felici},
title = {Computer Safety, Reliability and Security, 21st International
Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002,
Proceedings},
booktitle = {SAFECOMP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2434},
year = {2002},
isbn = {3-540-44157-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002)
Keynote Talk
Human Factors
Security
Dependability Assessment (Poster Session)
Keynote Talk
Application of Formal Methods (Poster Session)
Reliability Assessment
Design for Dependability
Safety Assessment
Keynote Talk
Design for Dependability (Poster Session)
Application of Formal Methods
- Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino:
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
273-283
Electronic Edition (Springer LINK) BibTeX
- Babita Sharma, S. D. Dhodapkar, S. Ramesh:
Assertion Checking Environment (ACE) for Formal Verification of C Programs.
284-295
Electronic Edition (Springer LINK) BibTeX
- Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh:
Safety Analysis of the Height Control System for the Elbtunnel.
296-308
Electronic Edition (Springer LINK) BibTeX
Design for Dependability
Copyright © Sat May 16 23:36:31 2009
by Michael Ley (ley@uni-trier.de)
