| |
| 1999 | ||
|---|---|---|
| 2 | EE | Marine Tabourier, Ana R. Cavalli, Melania Ionescu: A GSM-MAP Protocol Experiment Using Passive Testing. World Congress on Formal Methods 1999: 915-934 |
| 1 | EE | Marine Tabourier, Ana R. Cavalli: Passive testing and application to the GSM-MAP protocol. Information & Software Technology 41(11-12): 813-821 (1999) |
| 1 | Ana R. Cavalli | [1] [2] |
| 2 | Melania Ionescu | [2] |