| |
| 2004 | ||
|---|---|---|
| 1 | EE | Eddy Bernard, Bruno Legeard, Xavier Luck, Fabien Peureux: Generation of test sequences from formal specifications: GSM 11-11 standard case study. Softw., Pract. Exper. 34(10): 915-948 (2004) |
| 1 | Eddy Bernard | [1] |
| 2 | Bruno Legeard | [1] |
| 3 | Fabien Peureux | [1] |