Modeling Specification and Verification of an Emergency Closing System.

Werner Stephan Georg Rock Michael Brodski

Published in: FLAIRS Conference (2000)

Keyphrases

formal verification
colored petri nets
management system
formal methods
asynchronous circuits
petri net
high level
multi agent
model checking
real time
data sets
knowledge base
multiscale
decision support system
morphological operators
protocol specification