Tools for validation and simulation of Estelle/Ag specifications.
Henrikas PranevitchiusVytautas PilkauskasPublished in: SEKE (1994)
Keyphrases
- simulation tools
- mathematical models
- code generation
- decision support
- search engine
- simulation models
- software tools
- end users
- mathematical model
- written in natural language
- conceptual models
- formal specification
- simulation study
- databases
- information technology
- digital libraries
- website
- knowledge base
- learning algorithm