Sign in
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow.
Qianqian Lin
Shuling Wang
Bohua Zhan
Bin Gu
Published in:
J. Comput. Sci. Technol. (2020)
Keyphrases
</>
model checker
real time
model checking
control system
formal verification
temporal logic
cryptographic protocols
formal analysis
formal methods
high quality
low cost
vision system
description language
high speed
lightweight
verification method
protocol specification
communication protocol
set theory
neural network