Wireless protocol validation under uncertainty
From MaRDI portal
Publication:1667647
DOI10.1007/s10703-017-0309-4zbMath1394.68027OpenAlexW4237398903MaRDI QIDQ1667647
Shuvendu K. Lahiri, Ranveer Chandra, Jinghao Shi, Geoffrey Challen
Publication date: 30 August 2018
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-017-0309-4
Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
Related Items
Monitorability for the Hennessy-Milner logic with recursion, Introduction to the special issue on runtime verification
Uses Software
Cites Work