Publications

Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang

Towards a verified transformation from AADL to the formal component-based language FIACRE

Dans : Science of Computer Programming, Elsevier, Numéro spécial Towards a verified transformation from AADL to the formal component-based language FIACRE, Vol. 106 N. 0, p. 30-53, mai 2015.

Accès : https://oatao.univ-toulouse.fr/14914/
BibTeX

Régis Spadotti

Une théorie mécanisée des arbres réguliers en théorie des types dépendants

Thèse de doctorat, Université Paul Sabatier, mai 2016.

Résumé
BibTeX