@article{Dhaussy2010, Author = {Philippe Dhaussy and P Pillain and S Creff and Amine Raji and Y Le Traon}, Date-Added = {2010-07-10 20:29:51 +0200}, Date-Modified = {2010-09-20 11:53:58 +0200}, Journal = {10es Journ{\'e}es Francophones Internationales sur les Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels}, Title = {Contribution {\`a} la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqu{\'e}s}, Year = {2010}}