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

Wolfgang Herzner (Speaker), Rupert Schlick, Harald Brandl, Willibald Krenn, Werner Schütz

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Informationstagung Mikroelektronik 2010
Pages	237-244
Number of pages	8
Publication status	Published - 2010
Event	Mikroelektronik 2010 - Duration: 7 Apr 2010 → 8 Apr 2010

Conference	Mikroelektronik 2010
Period	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 -