previous up next contents                                RA 1994     RA 1996
Suivant : Table des matières

Projet SPECTRE

Spécification et programmation des systèmes communicants et temps réel

Rapport d'activité 1995

Page WWW du projet

Localisation : Grenoble

Mots clefs : concurrence, génération de code, génie logiciel, interprétation abstraite, langage synchrone, logique temporelle, parallélisme, programmation parallèle, protocole de communication, sémantique, spécification formelle, système hybride, temps réel, vérification de programme