RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction).

Ezio Bartocci Yliès Falcone

Published in: ISoLA (4) (2018)

Keyphrases

theoretical insights
theoretical basis
real world
artificial intelligence
case study
theoretical framework
information theory
theoretical frameworks
database
data mining
machine learning
information retrieval
computational model
theoretical foundation
formal methods
asynchronous circuits