Login / Signup
A Compositional Monitoring Framework for Hard Real-Time Systems.
André de Matos Pedro
David Pereira
Luís Miguel Pinho
Jorge Sousa Pinto
Published in:
NASA Formal Methods (2014)
Keyphrases
</>
conceptual framework
database
artificial intelligence
real time
main contribution
data mining
learning algorithm
computer vision
multimedia
expert systems
lightweight
monitoring system
bayesian framework