Processing may take a few seconds...

Chapter


Title

Conformance Checking of Communicating Resource Systems with RAs Calculus

Authors

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee

Year of publication

2015

Chapter type

paper

Publication language

english

Keywords
EN
  • rest
  • conformance checking
  • formal modeling
  • process calculus
  • process mining
Pages (from - to)

759 - 764

DOI

10.1109/SCC.2015.109

Book

2015 IEEE International Conference on Services Computing (SCC)

Presented on

2015 IEEE International Conference on Services Computing (SCC), 27.06.2015 - 02.07.2015, New York, United States

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.