Verification of Asynchronous Systems with an Unspecified Component.

Rosa Abbasi Fatemeh Ghassemi Ramtin Khosravi

Published in: CoRR (2017)

Keyphrases

asynchronous circuits
management system
systems require
real time
databases
clustering algorithm
case study
expert systems
computer systems
model checking
social networks
computer vision
digital libraries
distributed systems
intelligent systems
knowledge based systems