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: Lengyel:L=aacute=szl=oacute=
Contributed to:
2010
2007Wrote 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.