مرکز منطقه ای اطلاع رساني علوم و فناوري - Unity, as a Tool for Reactive Systems Specification and Derivation

DocumentCode :

2671567

Title :

Unity, as a Tool for Reactive Systems Specification and Derivation

Author :

Filali, M. ; Mauran, Ph ; Padiou, G.

Author_Institution :

IRIT, France

fYear :

1993

fDate :

22-24 June 1993

Firstpage :

274

Lastpage :

279

Keywords :

Design methodology; Formal specifications; Logic programming; Process design; Real time systems; Signal design; Signal processing; Timing;

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.639111

Filename :

639111

Link To Document :