Formal specification and dependability analysis of optical communication networks.

Umair Siddique Khaza Anuarul Hoque Taylor T. Johnson

Published in: DATE (2017)

Keyphrases

communication networks
formal specification
real world
artificial intelligence
knowledge base
database systems
data analysis
model checking
computer networks
wireless communication
specification languages
email communication