BPEL2.0 munkafolyamatok formális verifikációja

Megtekintés/Megnyitás

85644.pdf (484.2KB)

Metaadat

Teljes megjelenítés

Link a dokumentumra való hivatkozáshoz:

http://hdl.handle.net/10890/3931

Gyűjtemény

BME PA dokumentumai [3588]

Cím és alcím: BPEL2.0 munkafolyamatok formális verifikációja
Szerző: Hegedüs, Ábel
Megjelenés ideje: 2009
Kiadó: Doktoranduszok Országos Szövetsége
Nyelv: hu
Egyéb azonosítók: MTMT: 2653362
A cikket/könyvrészletet tartalmazó dokumentum címe: Tavaszi Szél
ISBN, e-ISBN: 978-963-87569-3-0
Dokumentumtípus: könyvrészlet
Műfaj: konferenciaközlemény