A formal description technique for protocol engineering

Authors:
Deepinder Sidhu;Anthony Chung
Affiliations:
Univ. of Maryland, College Park;Univ. of Maryland, College Park
Venue:
A formal description technique for protocol engineering
Year:
1990

Citing 0
Cited 2

Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences

IEEE/ACM Transactions on Networking (TON)
A readable TCP in the Prolac protocol language

Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication

Quantified Score

Hi-index	0.01

Visualization

Abstract