Keyword : requirement change


Making Changes in Formal Protcol Specifications
Bhed Bahadur BISTA Kaoru TAKAHASHI Tetsuo KINOSHITA Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1997/06/25
Vol. E80-B  No. 6 ; pp. 974-978
Type of Manuscript:  LETTER
Category: Communication Software
Keyword: 
communicationprotocolflexible synthesisrequirement change
 Summary | Full Text:PDF(400.9KB)