Keyword : message sequence chart


Completing Protocols Synthesized from Service Specifications
Akira TAKURA Atsushi KANAI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1996/07/25
Vol. E79-B  No. 7 ; pp. 953-962
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
protocol completionmessage sequence chartprotocol errorservice specification
 Summary | Full Text:PDF

Reverse Engineering in Communication Protocol Design
Kenji OTOMO Noriyasu ARAKAWA Yutaka HIRAKAWA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1996/06/25
Vol. E79-B  No. 6 ; pp. 842-848
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
communications softwaremessage sequence chartreverse engineeringreachability analysisspecification
 Summary | Full Text:PDF