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

További szerzők:

Tibor Bende

Típus:

OTDK

Semester:

2009. tavasz

Tématerület:

Adatelemzés és Big Data

Konzulens (belső):

Dániel Varró

Konzulens (belső):

László Gönczy

Konzulens (belső):

Máté Kovács