Travelled to:
1 × Korea
1 × Spain
Collaborated with:
G.Díaz H.Macià V.V.Ruiz J.J.Pardo V.Valero
Talks about:
servic (2) model (2) web (2) architectur (1) subscrib (1) publish (1) context (1) verif (1) check (1) use (1)
Person: María-Emilia Cambronero
DBLP: Cambronero:Mar=iacute=a=Emilia
Contributed to:
Wrote 2 papers:
- SAC-2015-DiazCMR #architecture #model checking #verification #web #web service
- Model-checking verification of publish-subscribe architectures in web service contexts (GD, MEC, HM, VVR), pp. 1688–1695.
- SAC-2007-CambroneroPDV #modelling #using #web #web service
- Using RT-UML for modelling web services (MEC, JJP, GD, VV), pp. 643–648.