From Safety Verification to Safety Testing
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet
From Safety Verification to Safety Testing
ICTSS, 2004.

TestCom 2004
Full names Links ISxN
	author        = "Vlad Rusu and Hervé Marchand and Valéry Tschaen and Thierry Jéron and Bertrand Jeannet",
	booktitle     = "{Proceedings of the 16th International Conference on Testing of Communicating Systems}",
	doi           = "10.1007/978-3-540-24704-3_11",
	isbn          = "3-540-21219-1",
	pages         = "160--176",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{From Safety Verification to Safety Testing}",
	volume        = 2978,
	year          = 2004,


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.