Login / Signup
What can you verify and enforce at runtime?
Yliès Falcone
Jean-Claude Fernandez
Laurent Mounier
Published in:
Int. J. Softw. Tools Technol. Transf. (2012)
Keyphrases
</>
real time
machine learning
data mining
database systems
feature extraction
pattern recognition
relational databases
special case
social media
global consistency