Atlas home || Conferences | Abstracts | about Atlas

Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems

March 26-31, 2000

Wadern, Germany

Mathematics

Host: Schloss Dagstuhl
Homepage: http://www.dagstuhl.de/DATA/Seminars/00/#00131
Email: office@dagstuhl.de

Organizers: A. Bondavalli (Pisa), M. Dal Cin (Erlangen), K. Echtle (Essem), E. Maehle (Lübeck)

Date received: March 21, 2000

© 2008 Atlas Conferences Inc.