Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"
收藏DataCite Commons2021-10-31 更新2024-07-03 收录
下载链接：
https://data.4tu.nl/articles/_/12714281/1
下载链接
链接失效反馈官方服务：
资源简介：
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
提供机构：
Radboud University
创建时间：
2014-07-23
