Abstract: Communication Protocol is an important part of industrial CPS, which plays a very crucial role for CPS to complete its task. Runtime stochastic model checking is widely used to verify the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback