Il y a 8 Résultats pour : "méthodes formelles"
- COMETE - Concurrence, Mobilité et Transactions
- CONTRAINTES - Programmation par contraintes
- CONVECS - Construction de systèmes concurrents vérifiés
- EVEREST - Environnements de vérification et sécurité du logiciel
- FORMES - Méthodes Formelles pour les Systèmes Embarqués
- POP ART - Contrôle-commande temps réel sûr
- VASY - Validation de systèmes, recherche et application
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria
Inria.fr
Inria Channel