Layering protocols are modeled using layering structures that mirror the protocol layers. There are significant challenges in modelling verification components for layering protocols such as (1) reuse ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results