HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents
- Description du groupe HiFi : disponible ici
- Actualités du groupe HiFi
HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents