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 paper @ NSV’15

CAFEIN paper @ NSV’15

lundi 17 octobre 2016, par Pierre-Loic Garoche

N. Damouche, M. Martel, A. Chapoutot, Transformation of a PID Controller for Numerical Accuracy, Electronic Notes in Theoretical Computer Science, Volume 317, 2015, Pages 47-54, ISSN 1571-0661, DOI.

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