Modeling Specification and Verification of an Emergency Closing System.

Werner Stephan, Georg Rock, Michael Brodski

Browse the full FlAIRS paper archive.