Vérification formelle de spécifications AADL via FIACRE.

Publication
presentation at École d’été Temps-Reél (ETR’11)