مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

2665732

Title :

RTX-Parlog: Real-Time Extended Parlog

Author :

Renaux, Douglas ; Dasiewicz, Paul

Author_Institution :

University of Waterloo

fYear :

1993

fDate :

22-24 June 1993

Firstpage :

147

Lastpage :

153

Keywords :

Automatic control; Automatic logic units; Environmental management; Formal specifications; Logic programming; Mathematical model; Message passing; Programming profession; Prototypes; Real time systems;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on

Conference_Location :

Oulu, Finland

ISSN :

1068-3070

Print_ISBN :

0-8186-4110-X

Type :

conf

DOI :

10.1109/EMWRT.1993.639082

Filename :

639082

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2665732