PAT2PRISM: Bridging Qualitative Correctness and Quantitative Resilience for IoT Protocols.

Zihan Tang, Sini Chen, Lili Xiao, Huibiao Zhu

Browse the full TASE paper archive.