18. SAFECOMP 1999:
Toulouse,
France
Massimo Felici, Karama Kanoun, Alberto Pasquini (Eds.):
Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings.
Lecture Notes in Computer Science 1698 Springer 1999, ISBN 3-540-66488-2 BibTeX
@proceedings{DBLP:conf/safecomp/1999,
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Computer Safety, Reliability and Security, 18th International
Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
booktitle = {SAFECOMP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1698},
year = {1999},
isbn = {3-540-66488-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Assessment and Certification
Safety Assessment and Human Factors (Poster Session)
Human Factors
Safety Assessment
Design for Safety (Poster Session)
- P. G. Beerthuizen, W. Kruidhof:
System and Software Safety Analysis for the ERA Control Computer.
163-176
Electronic Edition (Springer LINK) BibTeX
- Chin-Feng Fan, Swu Yih:
Safety Markup Language: Concept and Application.
177-186
Electronic Edition (Springer LINK) BibTeX
- Algirdas Pakstas, Igor Shagaev:
Extendable Ground-to-Air Communication Architecture for CoDySa.
187-201
Electronic Edition (Springer LINK) BibTeX
- José Carlos Campelo, Pedro Yuste, Francisco Rodríguez, Pedro J. Gil, Juan José Serrano:
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems.
202-215
Electronic Edition (Springer LINK) BibTeX
- Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones:
The Development of a Commercial ``Shrink-Wrapped Application'' to Safety Integrity Level 2: The DUST-EXPERTTM Story.
216-225
Electronic Edition (Springer LINK) BibTeX
Verification and Testing
Design for Safety
Dependability Analysis and Evaluation
Formal Methods and Security (Poster Session)
Formal Methods
- Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber:
Formal Design of Distributed Control Systems with Lustre.
396-409
Electronic Edition (Springer LINK) BibTeX
- A. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita:
Formal Specification and Development of a Safety-Critical Train Management System.
410-419
Electronic Edition (Springer LINK) BibTeX
- Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Validation of the GUARDS Inter-Consistency Mechanism.
420-430
Electronic Edition (Springer LINK) BibTeX
- A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar:
A Graphical Environment for the Specification and Verification of Reactive Systems.
431-444
Electronic Edition (Springer LINK) BibTeX
Security
Copyright © Sat May 16 23:36:31 2009
by Michael Ley (ley@uni-trier.de)
