Advanced Techniques Integration into Efficient Scientific Application Software

Información del proyecto

ATES

Identificador del acuerdo de subvención: 1158

Proyecto cerrado

Fecha de inicio 1 Abril 1986

Fecha de finalización 1 Abril 1990

Financiado con arreglo a

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

Coste total € 0,00

Aportación de la UE Sin datos

Coordinado por

CISI Ingénierie SA
France

Publicaciones

Other (1)

ATES : AN INTEGRATED SYSTEM FOR SOFTWARE DEVELOPMENT AND VERIFICATION

Autores: COUTURIER P (C.I.S.I. INGENIERIE, RUNGIS (FR))
Publicado en: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 242-263 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL) ISBN 0-7923-1039-X, 1990, Página(s) 242-263, ISBN 0-7923-1039-X