Formal Description of Arbitrary Systems by means of Functional Languages

Informations projet

FORFUN

N° de convention de subvention: 881

Projet clôturé

Date de début 1 Mai 1986

Date de fin 1 Mai 1990

Financé au titre de

• European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988

Coût total € 0,00

Contribution de l’UE Aucune donnée

Coordonné par

KATHOLIEKE UNIVERSITEIT NIJMEGEN
Netherlands

Publications

Other (1)

FORMAL DESCRIPTION OF DIGITAL AND ANALOG SYSTEMS BY MEANS OF FUNCTIONAL LANGUAGES

Auteurs: BOUTE R (UNIVERSITY OF NIJMEGEN (NL))
Publié dans: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 212-226 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL) ISBN 0-7923-1039-X, 1990, Page(s) 212-226, ISBN 0-7923-1039-X