Formal analysis of workflow systems with security considerations

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

    研究成果: Chapter in Book/Report/Conference proceedingConference contribution

    1 被引用数 (Scopus)

    フィンガープリント 「Formal analysis of workflow systems with security considerations」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    Engineering & Materials Science