Verification of Hierarchical Data-Driven Workflows.
- 주제(키워드) BUSINESS PROCESS , Business process , DATA , DATABASE , DRIVEN , Database , HIERARCHICAL , MODEL CHECKING , Model checking , VERIFICATION , Verification , WORKFLOWS
- 발행기관 University of California, San Diego
- 발행년도 2018
- 학위명 박사
- 학과 및 전공 Computer Science
- UCI I804:11009-000000155473
- DOI 10.23186/korea.000000155473.11009.0001088
- 제출원본 PQDT10813928
