Monitoring temporal SystemC properties.

Deian Tabakov Moshe Y. Vardi

Published in: MEMOCODE (2010)

Keyphrases

real time
temporal properties
spatio temporal
temporal evolution
structural properties
monitoring system
databases
data mining
multiscale
spatial and temporal
desirable properties
expert systems
decision support
space time
model checking
temporal information
database