BPEL 2.0 alapú munkafolyamatok formális verifikációja

További szerzők:

Bende Tibor

Típus:

OTDK

Félév:

2009. tavasz

Tématerület:

Adatelemzés és Big Data

Konzulens (belső):

Varró Dániel

Konzulens (belső):

Gönczy László

Konzulens (belső):

Kovács Máté