Action Vasy-RA

previous up next contents
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