HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Emergents

Responsables

• Sylvain Conchon
• Aurélie Hurault

Site web du groupe : https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20HiFi%20%3A%20M%C3%A9thodes%20Formelles%20et%20Programmation%20Haute%20Fid%C3%A9lit%C3%A9%20pour%20Syst%C3%A8mes%20Critiques%20%C3%89mergents/