Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proc. of Formal Methods for Components and Objects (FMCO) 2009
Herausgeber (Verlag)	.
Seiten	228-249
Band	6286
Publikationsstatus	Veröffentlicht - 2010

Name	LNCS

Treatment code (Nähere Zuordnung)

@inproceedings{8b6f5b3b76244ad3b6cd4322ee36d306,

title = "Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems",

author = "Bernhard Aichernig",

year = "2010",

language = "English",

volume = "6286",

series = "LNCS",

publisher = ".",

pages = "228--249",

booktitle = "Proc. of Formal Methods for Components and Objects (FMCO) 2009",

}