Il y a 13 Résultats pour : "Vérification"
- ABSTRACTION - Interprétation abstraite et analyse statique
- CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
- CONVECS - Construction de systèmes concurrents vérifiés
- DAHU - Verification en bases de données
- EVEREST - Environnements de vérification et sécurité du logiciel
- FOCUS - Foundations of Component-based Ubiquitous Systems
- LANDE - Conception et validation de logiciels
- PAMPA - modèles et outils pour la programmation des architectures parallèles réparties
- PARKAS - Parallélisme de Kahn Synchrone
- PROTHEO - Contraintes, déduction automatique et preuves de propriétés de logiciels
- SIGMA2 - Signaux, modèles, algorithmes
- VASY - Validation de systèmes, recherche et application
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria
Inria.fr
Inria Channel