BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Finland
Collaborated with:
M.Broy R.Grosu R.Breu U.Hinkel C.Hofmann B.Paech B.Rumpe V.Thurner
Talks about:
asynchron (1) reconcil (1) languag (1) toward (1) messag (1) formal (1) unifi (1) model (1) time (1) real (1)

♂ Person: Cornel Klein

DBLP DBLP: Klein:Cornel

Facilitated 5 volumes:

MoDELS 2015PracticalTrackPrCo
MoDELS 2013PracticalTrackPrCo
MoDELS 2013PrCo
MoDELS 2012PracticalTrackPrCo

Contributed to:

ECOOP 19971997
FME 19971997

Wrote 2 papers:

ECOOP-1997-BreuHHKPRT #formal method #modelling #towards
Towards a Formalization of the Unified Modeling Language (RB, UH, CH, CK, BP, BR, VT), pp. 344–366.
FME-1997-BroyGK #message passing #realtime
Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.

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.