مرکز منطقه ای اطلاع رساني علوم و فناوري - A wide-spectrum language for object-based development of real-time systems

Title of article :

A wide-spectrum language for object-based development of real-time systems

Author/Authors :

Danny Z. Chen، نويسنده , , H. Zedan، نويسنده , , A. Cau، نويسنده , , H. Yang، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1999

Pages :

From page :

To page :

Keywords :

TemporalAgent Model , HRT-HOOD , Wide-spectrum language , Re®nement calculus , Interval Temporal Logic , object-based

Journal title :

Information Sciences

Serial Year :

1999

Journal title :

Information Sciences

Record number :

175984

Link To Document :