22. SAFECOMP 2003:
Edinburgh,
UK
Stuart Anderson, Massimo Felici, Bev Littlewood (Eds.):
Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings.
Lecture Notes in Computer Science 2788 Springer 2003, ISBN 3-540-20126-2 BibTeX
@proceedings{DBLP:conf/safecomp/2003,
editor = {Stuart Anderson and
Massimo Felici and
Bev Littlewood},
title = {Computer Safety, Reliability, and Security, 22nd International
Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003,
Proceedings},
booktitle = {SAFECOMP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2788},
year = {2003},
isbn = {3-540-20126-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Keynote Talk
Formal Methods
Design for Dependability
Security and Formal Methods
Keynote Talk
Dependability and Performance Analysis
Dependability of Medical Systems
- Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, J. Miler, M. Olszewski:
An Approach to Trust Case Development.
193-206
Electronic Edition (link) BibTeX
- J. Gorman, Ståle Walderhaug, H. Kvålen:
Reliable Data Replication in a Wireless Medical Emergency Network.
207-220
Electronic Edition (link) BibTeX
- Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman:
Critical Feature Analysis of a Radiotherapy Machine.
221-234
Electronic Edition (link) BibTeX
Fault Tolerance
- K. Driscoll, B. Hall, Håkan Sivencrona, P. Zumsteg:
Byzantine Fault Tolerance, from Theory to Reality.
235-248
Electronic Edition (link) BibTeX
- O. Rooks, Michael Armbruster, S. Büchli, Armin Sulzmann, Gernot Spiegelberg, U. Kiencke:
Redundancy Management for Drive-by-Wire Computer Systems.
249-262
Electronic Edition (link) BibTeX
- C. Mataix, P. Martín, F. J. Rodríguez, M. J. Manzano, J. Pozo:
Fault-Tolerant Communication System to Improve Safety in Railway Environments.
263-274
Electronic Edition (link) BibTeX
- Nagarajan Kandasamy, John P. Hayes, Brian T. Murray:
Dependable Communication Synthesis for Distributed Embedded Systems.
275-288
Electronic Edition (link) BibTeX
Tools for Dependable Design
Dependability of Critical Infrastructures
Hazard and Safety Analysis
Design for Dependability
Copyright © Sat May 16 23:36:31 2009
by Michael Ley (ley@uni-trier.de)