![]() | ![]() |
2008 | ||
---|---|---|
3 | EE | Temesghen Kahsai, Marino Miculan: Implementing Spi Calculus Using Nominal Techniques. CiE 2008: 294-305 |
2 | EE | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158 |
2007 | ||
1 | EE | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246 |
1 | Marino Miculan | [3] |
2 | Markus Roggenbach | [1] [2] |
3 | Bernd-Holger Schlingloff | [1] [2] |