BPEL 2.0 alapú munkafolyamatok formális verifikációja
Típus:
OTDK
Félév:
2009. tavasz
Tématerület:
Üzleti folyamatok és alkalmazások
