Techniques for Partial Specification and Specification of Switching Systems.
Pamela ZaveMichael JacksonPublished in: VDM Europe (1) (1991)
Keyphrases
- formal methods
- high level
- formal verification
- user defined
- formal languages
- reactive systems
- specification language
- learning systems
- complex systems
- dynamic constraints
- asynchronous circuits
- exception handling
- retrieval systems
- neural network
- building blocks
- computer systems
- intelligent systems
- distributed systems
- expert systems
- decision trees
- information retrieval
- machine learning