Construction of concrete verification models from C++.

Malay Haldar Gagandeep Singh Saurabh Prabhakar Basant Dwivedi Antara Ghosh

Published in: DAC (2008)

Keyphrases

complex systems
real time
databases
information systems
prior knowledge
computational model
mathematical models
modeling framework
learned models
construction process