Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou. Standardization of Formal Methods in Conformance Testing of Communication Protocols. Computer Networks, 29(1):3-14, 1996. [doi]
@article{CavalliFP96, title = {Standardization of Formal Methods in Conformance Testing of Communication Protocols}, author = {Ana R. Cavalli and Jean Philippe Favreau and Marc Phalippou}, year = {1996}, doi = {10.1016/S0169-7552(96)00015-3}, url = {http://dx.doi.org/10.1016/S0169-7552(96)00015-3}, tags = {protocol, testing}, researchr = {https://researchr.org/publication/CavalliFP96}, cites = {0}, citedby = {0}, journal = {Computer Networks}, volume = {29}, number = {1}, pages = {3-14}, }