BPEL Verification: The Back-annotation Problem

CímBPEL Verification: The Back-annotation Problem
Közlemény típusaConference Paper
Kiadás éve2010
SzerzőkHegedüs, Á.
Konferencia neveProceedings of the 17th PhD Minisymposium
Kiadás dátuma02/2010
KiadóBudapest University of Technology and Economics, Department of Measurement and Information Systems
PDF: