A framework for high-assurance quasi-synchronous systems.

Robin Larrieu Natarajan Shankar

Published in: MEMOCODE (2014)

Keyphrases

high assurance
expert systems
main contribution
machine learning
learning systems
neural network
data mining
decision making
management system
distributed systems
building blocks
computational model
complex systems