Vérification formelle de spécifications AADL via FIACRE

Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, François Vernadat
August, 2011
PDF Cite Project
Publication
presentation at École d’été Temps-Reél (ETR'11)
Verification Architecture Languages

Related