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 invited talk @ EMSOFT’15

CAFEIN invited talk @ EMSOFT’15

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

Marc Pouzet. Building a hybrid systems modeler from synchronous language principles (invited talk). In 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, pages 125–126, 2015.

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