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