Title of article :
On constructing communication protocols from component-based service specifications
Author/Authors :
Masahide Nakamura، نويسنده , , Yoshiaki Kakuda، نويسنده , , Tohru Kikuno، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1996
Pages :
16
From page :
1200
To page :
1215
Keywords :
Integration , Correctness , Protocol synthesis , Service specifmtion , component
Journal title :
Computer Communications
Serial Year :
1996
Journal title :
Computer Communications
Record number :
308647
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=308647
بازگشت