Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"

Name: Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"
Creator: Radboud University
Published: 2014-07-23T09:52:02+08:00

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