A C++ Simulator Generator from Graphical Specifications.
Vivek K. ShanbhagK. GopinathPublished in: Softw. Pract. Exp. (1997)
Keyphrases
- attribute grammars
- formal specification
- evolutionary robotics
- delay insensitive
- specification language
- bounded model checking
- operational semantics
- formal verification
- high level
- database
- simulation environment
- simulation model
- simulation tool
- design requirements
- learning algorithm
- information retrieval
- neural network