![]() | ![]() |
| 2010 | ||
|---|---|---|
| 2 | Li Dan: QVT Based Model Transformation from Sequence Diagram to CSP. ICECCS 2010: 349-354 | |
| 2004 | ||
| 1 | Li Dan, Bernhard K. Aichernig: Combining Algebraic and Model-Based Test Case Generation. ICTAC 2004: 250-264 | |
| 1 | Bernhard K. Aichernig | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page