Michael Katelman, José Meseguer, Jennifer C. Hou. Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. In Gilles Barthe, Frank S. de Boer, editors, Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Volume 5051 of Lecture Notes in Computer Science, pages 150-169, Springer, 2008. [doi]
@inproceedings{KatelmanMH08,
title = {Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking},
author = {Michael Katelman and José Meseguer and Jennifer C. Hou},
year = {2008},
doi = {10.1007/978-3-540-68863-1_10},
url = {http://dx.doi.org/10.1007/978-3-540-68863-1_10},
tags = {model checking, meta-model, modeling, protocol, C++, Meta-Environment},
researchr = {https://researchr.org/publication/KatelmanMH08},
cites = {0},
citedby = {0},
pages = {150-169},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings},
editor = {Gilles Barthe and Frank S. de Boer},
volume = {5051},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-68862-4},
}