17. SAFECOMP 1998:
Heidelberg,
Germany
Wolfgang D. Ehrenberger (Ed.):
Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings.
Lecture Notes in Computer Science 1516 Springer 1998, ISBN 3-540-65110-1 
@proceedings{DBLP:conf/safecomp/1998,
editor = {Wolfgang D. Ehrenberger},
title = {Computer Safety, Reliability and Security, 17th International
Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998,
Proceedings},
booktitle = {SAFECOMP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1516},
year = {1998},
isbn = {3-540-65110-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Formal Methods I - Analysis and Specification
- Kevin Hollingworth, Amer Saeed:
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.
3-15
- Kirsten Winter, Thomas Santen, Maritta Heisel:
An Agenda for Specifying Software Components with Complex Data Models.
16-31
- Heinrich Rust:
Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns.
32-44
- Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris:
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.
45-59
- Kevin Lano, Pauline Kan, Arturo Sanchez:
Linking Hazard Analysis to Formal Specification and Design in B.
60-74
Management and Human Factors
Security
Medical Informatics
Formal Methods II - Languages and Verification
Applications
- Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso:
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
221-230
- Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard:
Applying Formal Methods in Industry The UseGat Project.
231-242
- Thomas Ringler, J. Steiner, R. Belschner, Bernd Hedenetz:
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture.
243-253
- Hans-Dieter Kochs, Walter Geisselhardt, Holger Hilmer, M. Lenord:
Fault-Tolerant Communication in Large-Scale Manipulators.
254-266
- Elmar Dilger, Thomas Führer, Bernd Müller:
Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach.
267-283
- Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso:
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
284-295
- Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen:
EURIS, a Specification Method for Distributed Interlockings.
296-305
- Bartosz Nowicki, Janusz Górski:
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay.
306-315
Formal Methods III - Petri Nets
- Francesca Saglietti:
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets.
319-328
- Krzysztof Sacha:
Safety Verification of Software Using Structured Petri Nets.
329-342
Reliability
Last update Wed Feb 15 05:16:32 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
