Travelled to:2 × USA
Collaborated with:T.M.Khoshgoftaar A.Varas
Talks about:model (2) web (2) translat (1) verifi (1) toward (1) servic (1) machin (1) extend (1) check (1) bpel (1)
Person: John C. Sloan
DBLP: Sloan:John_C=
Contributed to:
20092008Wrote 2 papers:
- SEKE-2009-SloanKV
- An Extendible Translation of BPEL to a Machine-verifiable Model (JCS, TMK, AV), pp. 344–349.
- SEKE-2008-SloanK #model checking #towards #web #web service
- Toward Model Checking Web Services Over the Web (JCS, TMK), pp. 519–524.