BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
2 × France
Collaborated with:
B.Chatras M.W.A.Hornbeek S.Kesti V.K.Shanbhag K.Gopinath M.Turunen M.Luukkainen
Talks about:
appli (2) translat (1) protocol (1) octopus (1) method (1) integr (1) formal (1) experi (1) model (1) mobil (1)

Person: Ari Ahtiainen

DBLP DBLP: Ahtiainen:Ari

Contributed to:

TestCom 20022002
CAV 20012001
IWPTS 19931993

Wrote 3 papers:

TestCom-2002-Ahtiainen #formal method #mobile #protocol #testing
Applying Formal Method in Mobile Protocol Testing (AA), p. 187–?.
CAV-2001-ShanbhagGTAL #model checking #named
EASN: Integrating ASN.1 and Model Checking (VKS, KG, MT, AA, ML), pp. 382–386.
IWPTS-1993-AhtiainenCHK #automation #case study #experience #tool support
Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7 (AA, BC, MWAH, SK), pp. 231–253.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.