W zależności od ilości danych do przetworzenia generowanie pliku może się wydłużyć.

Jeśli generowanie trwa zbyt długo można ograniczyć dane np. zmniejszając zakres lat.

Rozdział

Pobierz BibTeX

Tytuł

Conformance Checking of Communicating Resource Systems with RAs Calculus

Autorzy

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

Rok publikacji

2015

Typ rozdziału

referat

Język publikacji

angielski

Słowa kluczowe
EN
  • rest
  • conformance checking
  • formal modeling
  • process calculus
  • process mining
Strony (od-do)

759 - 764

DOI

10.1109/SCC.2015.109

Książka

2015 IEEE International Conference on Services Computing (SCC)

Zaprezentowany na

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

Ta strona używa plików Cookies, w celu zapamiętania uwierzytelnionej sesji użytkownika. Aby dowiedzieć się więcej przeczytaj o plikach Cookies i Polityce Prywatności.