A multi-formalism specification environment.
Edward A. IpserDavid S. WileDean JacobsPublished in: SDE (1990)
Keyphrases
- mobile robot
- neural network
- reactive systems
- operational semantics
- formal methods
- indoor environments
- formal model
- dynamic environments
- real time
- object oriented
- virtual world
- user defined
- knowledge representation
- expert systems
- complex environments
- environmental conditions
- high level
- logical framework
- formal verification
- machine learning