Analyzing critical process models through behavior model synthesis
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

Christophe Damas, Bernard Lambeau, Francois Roucoux, Axel van Lamsweerde
Analyzing critical process models through behavior model synthesis
ICSE, 2009.

ICSE 2009
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICSE-2009-DamasLRL,
	author        = "Christophe Damas and Bernard Lambeau and Francois Roucoux and Axel van Lamsweerde",
	booktitle     = "{Proceedings of the 31st International Conference on Software Engineering}",
	doi           = "10.1109/ICSE.2009.5070543",
	isbn          = "978-1-4244-3452-7",
	pages         = "441--451",
	publisher     = "{IEEE}",
	title         = "{Analyzing critical process models through behavior model synthesis}",
	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.