Title of article :
Development of communication protocols using algebraic and temporal specifications
Author/Authors :
Mohamed Jmaiel، نويسنده , , Peter Pepper، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Pages :
28
From page :
737
To page :
764
Keywords :
Stepwise refinement , communication protocols , algebraic specification , Temporal Logic , Formal development
Journal title :
Computer Networks
Serial Year :
2003
Journal title :
Computer Networks
Record number :
299297
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=299297
بازگشت