Adaptive Runtime Verification.

Ezio Bartocci Radu Grosu Atul Karmarkar Scott A. Smolka Scott D. Stoller Erez Zadok Justin Seyster

Published in: RV (2012)

Keyphrases

social networks
data driven
decision making
model checking
database
artificial neural networks
signature verification