Contribution à la formalisation de contextes et déxigences pour la validation formelle de logiciels embarqués

  • By
by Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry “
View PDF
Reference:
Contribution à la formalisation de contextes et déxigences pour la validation formelle de logiciels embarqués (Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry “), In Approches Formelles dans l’Assistance de Développement Logiciel, 2010.
Bibtex Entry:
@inproceedings{Dhaussy2010,
	Author = {Philippe Dhaussy and Pierre-Yves Pillain and Stephen Creff and Amine Raji and Yves Le Traon and Benoit Baudry "},
	Booktitle = {Approches Formelles dans l'Assistance de D{'e}veloppement Logiciel},
	Month = {June},
	Title = {Contribution {`a} la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqu{'e}s},
	Url = {http://www.irisa.fr/triskell/publis/2010/Dhaussy2010.pdf},
	X-International-Audience = {no},
	X-Language = {FR},
	X-Proceedings = {yes},
	Year = {2010},
	x-abbrv = {AFADL},
	keywords={MDE,analysis},}