A backplane approach for cosimulation in high-level system specification environments.

Stefan Schmerler Yankin Tanurhan Klaus D. Müller-Glaser

Published in: EURO-DAC (1995)

Keyphrases

high level
low level
programming language
knowledge level
real world
higher level
low level features
formal specification
provably correct
database
learning algorithm
search engine
dynamic environments
highly dynamic
formal verification