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