Standardization of formal methods in conformance testing of communication protocols
Ana R. Cavalli; Jean Philippe Favreau; Marc Phalippou
- 作者Ana R. Cavalli; Jean Philippe Favreau; Marc Phalippou
- 卷第29卷
- 期第1期
- 印刷ISSN0169-7552
- 文件大小1467.76KB
- 发表时间1996
- DOI10.1016/s0169-7552(96)00015-3
- 页码3-14