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]
Abstract is missing.