| Original language | English |
|---|---|
| Title of host publication | Host publication not specified in Elements |
| Pages | 127-132 |
| Number of pages | 0 |
| Volume | 0 |
| Publication status | Published - 1 Jan 2016 |
Efficient test case derivation from statecharts-based models
P Wacht, U Trick, W Fuhrmann, B Ghita
Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings published in a book › peer-review