|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Slope Testing for Activity Diagrams and Safety Critical Software
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Andreas Holzer, Visar Januzaj, Stefan Kugele, Christian Schallhart, Michael Tautschnig, Helmut Veith, and Boris Langer. Slope testing for activity diagrams and safety critical software. Technical Report TUD-CS-2009-0184, Technische Universität Darmstadt, October 2009.
Suggested BibTeX entry:
@techreport{TUD-CS-2009-0184,
author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and Christian Schallhart and Michael Tautschnig and Helmut Veith and Boris Langer},
institution = {Technische Universit\"at Darmstadt},
month = {October},
number = {TUD-CS-2009-0184},
title = {Slope Testing for Activity Diagrams and Safety Critical Software},
year = {2009}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|