An Embedded System's Design Verification Using Object-Oriented Simulation.
Steven J. CunningStephan SchulzJerzy W. RozenblitPublished in: Simul. (1999)
Keyphrases
- object oriented
- functional verification
- website
- case study
- high level
- simulation software
- building blocks
- model checking
- object oriented databases
- design process
- object orientation
- design space
- formal methods
- software design
- engineering design
- simulation study
- artificial intelligence
- query language
- xml documents
- user interface
- multi agent
- knowledge base