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 × USA
2 × France
Collaborated with:
K.Leppänen S.Leppänen V.K.Shanbhag K.Gopinath A.Ahtiainen M.Luukkainen J.Parssinen N.v.Knorring J.Heinonen T.Oy
Talks about:
model (2) protocol (1) industri (1) system (1) method (1) integr (1) extens (1) experi (1) design (1) scale (1)

Person: Markku Turunen

DBLP DBLP: Turunen:Markku

Contributed to:

MoDELS 20072007
CAV 20012001
TOOLS Europe 20002000

Wrote 3 papers:

MoDELS-2007-LeppanenLT #automation #design #industrial #modelling #scalability
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems (KL, SL, MT), pp. 331–345.
CAV-2001-ShanbhagGTAL #model checking #named
EASN: Integrating ASN.1 and Model Checking (VKS, KG, MT, AA, ML), pp. 382–386.
TOOLS-EUROPE-2000-ParssinenKHOT #case study #experience #protocol #uml
UML for Protocol Engineering — Extensions and Experiences (JP, NvK, JH, TO, MT), pp. 82–93.

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.