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 × France
1 × Germany
Collaborated with:
T.Levendovszky M.Asztalos G.Mezei T.Mészáros
Talks about:
transform (1) introduc (1) toolkit (1) toward (1) formal (1) verif (1) model (1) mobil (1) autom (1) vmts (1)

Person: László Lengyel

DBLP DBLP: Lengyel:L=aacute=szl=oacute=

Contributed to:

ICST 20102010
AGTIVE 20072007

Wrote 2 papers:

ICST-2010-AsztalosLL #automation #model transformation #towards #verification
Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.
AGTIVE-2007-LevendovszkyLMM #mobile #tool support
Introducing the VMTS Mobile Toolkit (TL, LL, GM, TM), pp. 587–592.

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.