Formal verification of selected properties of process models obtained through process mining from event logs

Uložené v:
Podrobná bibliografia
Hlavný autor: Slovák, Peter (Autor)
Ďalší autori: Lehocki, Fedor (Vedúci práce)
Médium: Rukopis Kniha
Jazyk:Slovak
English
Vydavateľské údaje: 2025
Predmet:
On-line prístup:http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=183613
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!