CAFÉIN public website

CAFEIN project is funded by ANR INS 2012 with support from Aerospace Valley and System@tic competitivity clusters.

It is related to the US NSF project CrAVES - Credible Autocoding and Verification of Embedded Software.

Accueil du site > Publications > CAFEIN book chapter in Springer Lecture Notes in Control and Information (...)

CAFEIN book chapter in Springer Lecture Notes in Control and Information Sciences

jeudi 17 décembre 2015, par Pierre-Loic Garoche

Timothy Wang, Romain Jobredeaux, Heber Herencia, Pierre-Loïc Garoche, Arnaud Dieumegard,Éric Feron, and Marc Pantel. From design to implementation : An automated, credible autocoding chain for control systems. In Eric Feron, editor, Advances in Control System Technology for Aerospace Applications, volume 460 of Lecture Notes in Control and Information Sciences, pages 137–180. Springer Berlin Heidelberg, 2016.

SPIP | squelette | | Plan du site | Suivre la vie du site RSS 2.0