Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"
收藏Figshare2014-07-17 更新2026-04-29 收录
下载链接：
https://figshare.com/articles/dataset/Supplementary_material_for_publication_Analysis_of_a_Clock_Synchronization_Protocol_for_Wireless_Sensor_Networks_/12714281
下载链接
链接失效反馈官方服务：
资源简介：
This dataset contains supplementary material for the publication F. Heidarian, J. Schmaltz and F.W. Vaandrager. Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. In Theoretical Computer Science 413:87-105, 2012. QAPL'10 special issue. The following data are included: 1. A Uppaal model of the WSN protocol 2. A manual proof of correctness of the protocol 3. The sources of an Isabelle proof of correctness of the protocol
创建时间：
2014-07-17
