Normal view MARC view ISBD view

XEVE, an ESTEREL verification environment / Amar Bouali, Amar Bouali

Auteur principal : BOUALI, AmarAuteur secondaire collectivité : Centre de mathématiques appliquées, Sophia Antipolis, Alpes-Maritimes, Centre de mathématiques appliquéesPublication : ENSMP, 1998Description : Non paginé : Ill. ; 30 cmBibliographie: Notes bibliogr..Sujet : Environnement programmation ;Langage ESTEREL ;Langage synchrone ;Système réactif ;Parallélisme Sujet Catégorie : INFORMATIQUE-INTELLIGENCE ARTIFICIELLE
Current location Call number Status Date due Barcode
Bib. Paris
EMP 147.235 CCL.5742 Available EMP57668D

In : "International Conference on Computer-Aided Verification (CAV'98)", Vancouver, Canada, june-july 1998

Notes bibliogr.

Powered by Koha