A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems.

Norio Shiratori, J. Gohara, Shoichi Noguchi

Browse the full ICSE paper archive.