【4/18更新】CiNii ArticlesのCiNii Researchへの統合について

Formal Analysis of Workflow Systems with Security Considerations

書誌事項

タイトル
Formal Analysis of Workflow Systems with Security Considerations
著者
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

収録刊行物

関連プロジェクト

もっと見る

詳細情報

  • CRID
    1010000781802278151
  • 資料種別
    journal article
  • データソース種別
    • KAKEN

問題の指摘

ページトップへ