Testing Camunda Workflows in Complex Continuous Integration

Megjelenés dátuma: 2018-12-15

Kulcsszó: Camunda
Workflow
Model
Verification
Temporal
logic
Camunda
Workflow
Model
Verifikáció
Temporális
logika

Camunda Workflow modellek verifikációja temporális logikával és Kripke struktúrák felhasználásával, komplex folyamatos integrációban.

Verification of Camunda Workflow models using temporal logic and Kripke structures, in complex continuous integration.

A tételhez tartozó fájlok

Név: Varga Krisztián_szakdolgozat.pdf

Méret: 2.663Mb

Formátum: PDF

Név: Varga Krisztián.zip

Méret: 42.26Kb

Formátum: application/zip