Incremental development of an HDLC entity in Esterel

• Authors:

• Gérard Berry;Georges Gonthier

• Affiliations:

• -;-

• Venue:
• Computer Networks and ISDN Systems - Protocol specification, testing and verification
• Year:
• 1991