Bruno Dutertre. Formal Modeling and Analysis of the Modbus Protocol. In Eric Goetz, Sujeet Shenoi, editors, Critical Infrastructure Protection, Post-Proceedings of the First Annual IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, Dartmouth College, Hanover, New Hampshire, USA, March 19-21, 2007. Volume 253 of IFIP, pages 189-204, Springer, 2007. [doi]
@inproceedings{Dutertre07,
title = {Formal Modeling and Analysis of the Modbus Protocol},
author = {Bruno Dutertre},
year = {2007},
doi = {10.1007/978-0-387-75462-8_14},
url = {http://dx.doi.org/10.1007/978-0-387-75462-8_14},
tags = {modeling, protocol, analysis},
researchr = {https://researchr.org/publication/Dutertre07},
cites = {0},
citedby = {0},
pages = {189-204},
booktitle = {Critical Infrastructure Protection, Post-Proceedings of the First Annual IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, Dartmouth College, Hanover, New Hampshire, USA, March 19-21, 2007},
editor = {Eric Goetz and Sujeet Shenoi},
volume = {253},
series = {IFIP},
publisher = {Springer},
isbn = {978-0-387-75461-1},
}