Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.

Xin Li Jian Guo Yongxin Zhao Xiaoran Zhu

Published in: J. Circuits Syst. Comput. (2019)

Keyphrases

probabilistic model
formal analysis
protocol specification
viewpoint
lightweight
formal models
uncertain data
modeling method
database
artificial intelligence
bayesian networks
data driven
formal specification
statistical modeling
communication protocol
dynamic aspects