Advanced Techniques Integration into Efficient Scientific Application Software

Informazioni relative al progetto

ATES

ID dell’accordo di sovvenzione: 1158

Progetto chiuso

Data di avvio 1 Aprile 1986

Data di completamento 1 Aprile 1990

Finanziato da

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

Costo totale

Nessun dato

Contributo UE

Nessun dato

Coordinato da

CISI Ingénierie SA
France

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Other (1)

ATES : AN INTEGRATED SYSTEM FOR SOFTWARE DEVELOPMENT AND VERIFICATION

Autori: COUTURIER P (C.I.S.I. INGENIERIE, RUNGIS (FR))
Pubblicato in: 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, Pagina/e 242-263, ISBN 0-7923-1039-X