Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks-Reference-Cited by-同舟云学术

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks

Published:2007 Issue: Volume: Page:253-272
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Fehnker Ansgar,van Hoesel Lodewijk,Mader Angelika

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73210-5_14

Reference10 articles.

1. Bauer, J., Schaefer, I., Toben, T., Westphal, B.: Specification and verification of dynamic communication systems. In: Application of Concurrency to System Design (ACSD 2006), pp. 189–200. IEEE Computer Society, Los Alamitos (2006)

2. Lecture Notes in Computer Science;G. Behrmann,2004

3. Behrmann, G., David, A., Larsen, K.G., Hakansson, J., Petterson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: Quantitative Evaluation of Systems - (QEST 2006), pp. 125–126. IEEE Computer Society Press, Los Alamitos (2006)

4. Brinksma, E.: Verification is experimentation! Int. J. on Software Tools for Technology Transfer 3(2), 107–111 (2001)

5. Cardell-Oliver, R.: Why Flooding is Unreliable (Extended Version). Technical Report UWA-CSSE-04-001, CSSE, University of Western Australia (2004)

Cited by 36 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Novel abstraction methods for TDMA based MAC protocols: Case of IIoT MAC Wireless HART Verification;Telecommunication Systems;2023-11-14

2. Abstracting IoT protocols using timed process algebra and SPIN model checker;Cluster Computing;2023-01-16

3. Advanced Models for the OSPF Routing Protocol;Electronic Proceedings in Theoretical Computer Science;2022-03-21

4. Formal Verification of ZigBee-Based Routing Protocol for Smart Grids;Research Anthology on Smart Grid and Microgrid Development;2022

5. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14