مرکز منطقه ای اطلاع رساني علوم و فناوري - A rely–guarantee discipline for open distributed systems design

Title of article :

A rely–guarantee discipline for open distributed systems design

Author/Authors :

Carlos H. C. Duarte، نويسنده , , Tom Maibaum، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2000

Pages :

From page :

To page :

Keywords :

Rely–guarantee discipline , Specification , Verification , Temporal Logic , formal methods , software design , Software engineering

Journal title :

Information Processing Letters

Serial Year :

2000

Journal title :

Information Processing Letters

Record number :

129208

Link To Document :