17th SAFECOMP 1998: Heidelberg, Germany

Formal Methods I - Analysis and Specification

Management and Human Factors

Security

Medical Informatics

Formal Methods II - Languages and Verification

Applications

Formal Methods III - Petri Nets

Reliability

a service of Schloss Dagstuhl - Leibniz Center for Informatics