Delta-Oriented Monitor Specification.

Eric Bodden Kevin Falzon Ka I Pun Volker Stolz

Published in: ISoLA (1) (2012)

Keyphrases

real time
monitoring system
database
provably correct
artificial intelligence
formal methods
learning algorithm
three dimensional
high level
database systems
petri net