Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification.

George Logothetis Klaus Schneider C. Metzler

Published in: SBCCI (2003)

Keyphrases

real time
low level
social networks
high level
higher level
data acquisition
data sets
decision trees
low cost
formal methods