A formal framework for interfacing mixed-timing systems.

Shirshendu Das Parasara Sridhar Duggirala Hemangee K. Kapoor

Published in: Integr. (2013)

Keyphrases

main contribution
neural network
distributed systems
theoretical framework
mathematical theory
data mining
decision making
expert systems
management system
formal methods
issues that need to be addressed