|
Search the dblp DataBase
Ari Ahtiainen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen
EASN: Integrating ASN.1 and Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 2001, pp:382-386 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] PSTV, 1985, pp:421-438 [Conf]
- Ari Ahtiainen
Applying Formal Method in Mobile Protocol Testing. [Citation Graph (0, 0)][DBLP] TestCom, 2002, pp:187-0 [Conf]
- Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti
Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7. [Citation Graph (0, 0)][DBLP] Protocol Test Systems, 1993, pp:231-253 [Conf]
Search in 0.001secs, Finished in 0.001secs
|