Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

  • By
by Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry
View PDF
Reference:
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2009.
Bibtex Entry:
@inproceedings{dhaussy09,
	keywords = {MDE, analysis},
	Author = {Philippe Dhaussy and Pierre Yves Pillain and Stephen Creff and Amine Raji and Yves Le Traon and Benoit Baudry},
	Booktitle = {Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS)},
	Pages = {438-452},
	Title = {Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation},
	Url = {http://www.irisa.fr/triskell/publis/2009/dhaussy09.pdf},
	X-Country = {US},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2009},
	x-abbrv = {MODELS},
}