↓Skip to main content

Vérification formelle de spécifications AADL via FIACRE

Verification Architecture Languages Fiacre
Table of Contents

Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, François Vernadat
preprint, aug 2011.

unpublished

 PDF

Note
#

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

Abstract
#

Citation
#


@Unpublished{DalzilioS:etr2011,
   author      = {Berthomieu, Bernard and Bodeveix, Jean-Paul and {Dal Zilio}, Silvano and Filali, Mamoun and Vernadat, François},
   title       = {{Vérification formelle de spécifications AADL via FIACRE}},
   month       = aug, 
   year        = 2011
}