Publikation

Modeling, Specification and Verification of an Emergency Closing System

Georg Rock, Werner Stephan, Michael Brodski

In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS) 2000.

http://www.dfki.de/vse/papers/rsb00.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence