Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude-Reference-Cited by-同舟云学术

Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude

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

Author:

Ölveczky Peter Csaba,Thorvaldsen Stian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-72952-5_8

Reference22 articles.

1. Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. In: Proc. QAPL’05 (2005)

2. Akyildiz, I.F., Su, W., Sankarasubramaniam, Y., Cayirci, E.: Wireless sensor networks: A survey. Computer Networks 38, 393–422 (2002)

3. Clavel, M., Dúran, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.2), (December 2005) http://maude.cs.uiuc.edu

4. CMU monarch extensions to ns. http://www.monarch.cs.cmu.edu/

5. Coleri, S., Ergen, M., Koo, T.J.: Lifetime analysis of a sensor network with hybrid automata modelling. In: WSNA ’02, ACM Press, New York (2002)

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

1. A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics;2023 IEEE International Conference on Networking, Sensing and Control (ICNSC);2023-10-25

2. A Formal Model for Temporal - Spatial Event in Internet of Vehicles;Computational Data and Social Networks;2018

3. Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications;Communications in Computer and Information Science;2017

4. Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude;Communications in Computer and Information Science;2016

5. Coverage Aware Scheduling in Wireless Sensor Networks: An Optimal Placement Approach;Wireless Personal Communications;2015-07-07