Travelled to:1 × Estonia
Collaborated with:M.Kovács R.Heckel D.Varró
Talks about:model (2) infrastructur (1) workflow (1) analysi (1) servic (1) formal (1) compon (1) simul (1) test (1) base (1)
Person: László Gönczy
DBLP: G=ouml=nczy:L=aacute=szl=oacute=
Contributed to:
2007
2008Wrote 2 papers:
- TestCom-FATES-2007-GonczyHV #component #framework #modelling #testing
- Model-Based Testing of Service Infrastructure Components (LG, RH, DV), pp. 155–170.
- GT-VMT-2006-KovacsG08 #analysis #formal method #modelling #simulation #workflow
- Simulation and Formal Analysis of Workflow Models (MK, LG), pp. 221–230.