Login / Signup
Verifying Properties of Systems Relying on Attribute-Based Communication.
Rocco De Nicola
Tan Duong
Omar Inverso
Franco Mazzanti
Published in:
ModelEd, TestEd, TrustEd (2017)
Keyphrases
</>
computing systems
building blocks
retrieval systems
data sets
computer vision
expert systems
learning systems
complex systems
information exchange
communication channels
communication technologies
artificial intelligence
case study
model checking
wireless communication