Login / Signup
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
Han Liu
Hehua Zhang
Yu Jiang
Xiaoyu Song
Ming Gu
Jia-Guang Sun
Published in:
TASE (2014)
Keyphrases
</>
distributed systems
data driven
retrieval systems
expert systems
complex systems
formal methods
information retrieval
computer vision
web services
computer systems
modeling language
highly optimized
successful deployment