Verification of asynchronous systems with an unspecified component.

Rosa Abbasi Fatemeh Ghassemi Ramtin Khosravi

Published in: Acta Informatica (2019)

Keyphrases

asynchronous circuits
distributed systems
software components
multi agent
building blocks
complex systems
model checking
database
machine learning
artificial intelligence
social networks
knowledge base
data structure
knowledge based systems