论文信息 - Differences between Estelle and LOTOS Descriptions of a Protocol - 字舞流文

Differences between Estelle and LOTOS Descriptions of a Protocol

Richard L. Tenney | Jochen Grobholz

[1] Deepinder P. Sidhu. Protocol testing: the first ten years, the next ten years , 1990 .

[2] Luigi Logrippo,et al. An interpreter for LOTOS, a specification language for distributed systems , 1988, Softw. Pract. Exp..