Techniques for Partial Specification and Specification of Switching Systems.

Pamela Zave Michael Jackson

Published in: Z User Workshop (1991)

Keyphrases

management system
reactive systems
formal methods
high level
asynchronous circuits
formal verification
bayesian networks
specification language
formal languages
highly modular
computer vision
mobile robot