| 2002 |
|---|
| 4 | | Ari Ahtiainen:
Applying Formal Method in Mobile Protocol Testing.
TestCom 2002: 187- |
| 2001 |
|---|
| 3 | EE | Vivek K. Shanbhag,
K. Gopinath,
Markku Turunen,
Ari Ahtiainen,
Matti Luukkainen:
EASN: Integrating ASN.1 and Model Checking.
CAV 2001: 382-386 |
| 1993 |
|---|
| 2 | | Ari Ahtiainen,
Bruno Chatras,
Marc W. A. Hornbeek,
Sami Kesti:
Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7.
Protocol Test Systems 1993: 231-253 |
| 1985 |
|---|
| 1 | | Ari Ahtiainen,
S. Alfonzetti,
V. Chari,
Mats Daniels,
Michel Diaz,
Alberto Faro,
Hans A. Hansson,
Guy Juanole,
Ulla Karjalainen,
Gesualdo Le Moli,
Juhani Malka,
Sergio Palazzo,
Orlando Pereda:
An approach for evaluating formal description techniques.
PSTV 1985: 421-438 |
