Formal Verification of Effectiveness of Control Activities in Business Processes

この論文をさがす

著者

    • ARIMOTO Yasuhito
    • the School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
    • IIDA Shusaku
    • the School of Network and Information, Senshu University
    • FUTATSUGI Kokichi
    • the School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

収録刊行物

  • IEICE transactions on information and systems

    IEICE transactions on information and systems 95(5), 1342-1354, 2012-05-01

参考文献:  26件中 1-26件 を表示

各種コード

  • NII論文ID(NAID)
    10030942796
  • NII書誌ID(NCID)
    AA10826272
  • 本文言語コード
    ENG
  • 資料種別
    ART
  • ISSN
    09168532
  • データ提供元
    CJP書誌 
ページトップへ