2011

Chapitres de Livre

• [BKM11] A. Baiotto, F. Kaakai, R. Marcano, D. Drago. "Efficient Method Developed by Thales for Safety Evaluation of Real-to-Integer Discretization and Overflows in SIL4 Software", Titre du livre: "Static analysis of software : the abstract interpretation", October 2011, ISTE WILEY, pp. 273-317, (isbn: 978-1848213203)
• [BKM11a] A. Baiotto, F. Kaakai, R. Marcano, D. Drago. "Analyse statique de code : une méthode intégrée outillée développée par Thales pour l'étude du passage en entiers et des débordements pour des composants logiciels SIL4", Titre du livre: "Utilisation industrielles des techniques formelles – interprétation abstraite", June 2011, Hermes science,