Formal Verification of Effectiveness of Control Activities in Business Processes
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-05-01
著者
-
Futatsugi Kokichi
The School Of Information Science Japan Advanced Institute Of Science And Technology
-
Iida Shusaku
The School Of Network And Information Senshu University
-
Arimoto Yasuhito
The School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
関連論文
- Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems (Special Section on Nets-Oriented Software Specification and Design)
- Formal Verification of Effectiveness of Control Activities in Business Processes