Il y a 7 Résultats pour : "analyse statique"
- ABSTRACTION - Interprétation abstraite et analyse statique
- CELTIQUE - Certification de logiciel par analyse sémantique
- INDES - Programmation diffuse et sécurisée
- LANDE - Conception et validation de logiciels
- MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
- OSCAR - Outils syntaxiques pour la construction et l'analyse de programmes
- SECSI - Sécurité des systèmes d'information