| Réf : H8250 v1

Méthodes formelles pour la vérification des systèmes embarqués

Auteur(s) : Emmanuelle ENCRENAZ-TIPHENE

Date de publication : 10 févr. 2013