Towards Generation of Efficient Tes Cases from UML/OCL Models for Complex Safety-Critical Systems

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	Informationstagung Mikroelektronik 2010
Seiten	237-244
Seitenumfang	8
Publikationsstatus	Veröffentlicht - 2010
Veranstaltung	Mikroelektronik 2010 - Dauer: 7 Apr. 2010 → 8 Apr. 2010

Konferenz	Mikroelektronik 2010
Zeitraum	7/04/10 → 8/04/10

Research Field

@inproceedings{754c71941a3743669f7b034960cace4b,

title = "Towards Generation of Efficient Tes Cases from UML/OCL Models for Complex Safety-Critical Systems",

author = "Wolfgang Herzner and Rupert Schlick and Harald Brandl and Willibald Krenn and Werner Sch{\"u}tz",

year = "2010",

language = "English",

isbn = "978-3-85133-055-7",

pages = "237--244",

booktitle = "Informationstagung Mikroelektronik 2010",

note = "Mikroelektronik 2010 ; Conference date: 07-04-2010 Through 08-04-2010",

}

TY - GEN

T1 - Towards Generation of Efficient Tes Cases from UML/OCL Models for Complex Safety-Critical Systems

AU - Schlick, Rupert

AU - Brandl, Harald

AU - Krenn, Willibald

AU - Schütz, Werner

A2 - Herzner, Wolfgang

PY - 2010

Y1 - 2010

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-85133-055-7

SP - 237

EP - 244

BT - Informationstagung Mikroelektronik 2010

T2 - Mikroelektronik 2010

Y2 - 7 April 2010 through 8 April 2010

ER -