Abstract: Many applications widely use broadcast communications (BC) due to their efficiency in simultaneously distributing data to many receivers. More specifically, BC is essential in ...
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