Automatic Verification of Intermittent Systems.

Manjeet Dahiya Sorav Bansal

Published in: VMCAI (2018)

Keyphrases

computer vision
systems require
real world
case study
computer systems
database
real time
databases
machine learning
artificial intelligence
management system
distributed systems
learning systems
computing systems