Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
MODELS, 2009.

MoDELS 2009
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{MODELS-2009-DhaussyPCRTB,
	author        = "Philippe Dhaussy and Pierre Yves Pillain and Stephen Creff and Amine Raji and Yves Le Traon and Benoit Baudry",
	booktitle     = "{Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems}",
	doi           = "10.1007/978-3-642-04425-0_34",
	editor        = "Andy Schürr and Bran Selic",
	isbn          = "978-3-642-04424-3",
	pages         = "438--452",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation}",
	volume        = 5795,
	year          = 2009,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.