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
System tworzony przez Politechnikę Poznańską
oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Zaloguj się przez eKonto, aby dodać do SIN