Uncovering ISO ROSE protocol errors using Estelle

• Authors:

• A. Jirachiefpattana;R. Lai

• Affiliations:

• -;-

• Venue:
• Computer Standards & Interfaces - Special issue on formal description techniques
• Year:
• 1995