Suivant : Composition de l'équipe
Suivant : Composition de l'équipe
Action Vasy-RA
Validation de Systèmes - Recherche et Applications
Rapport d'activité de 1997
Page de présentation du projet - Rapport d'activité au format PostScript ou PDF
Localisation : Rhône-Alpes
Mots-clés : application critique, application répartie,
compilation, concurrence, génération de code, génie logiciel,
logique temporelle, modélisation, méthodes formelles,
parallélisme asynchrone, protocole de communication,
spécification formelle, synchronisation, système distribué,
vérification de programme
-calcul
modal