Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.

Jane Jayaputera Iman Poernomo Heinz W. Schmidt

Published in: EUROMICRO (2004)

Keyphrases

bayesian networks
structural properties
desirable properties
asynchronous circuits
data sets
probabilistic model
uncertain data
probabilistic reasoning
real time
information technology
object oriented
data driven
model checking
information theoretic