Formal analysis of workflow systems with security considerations

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)

    Fingerprint Dive into the research topics of 'Formal analysis of workflow systems with security considerations'. Together they form a unique fingerprint.

    Engineering & Materials Science