Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
Tytuł publikacji grupowej:Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Tytuł odmienny:Formal verification of planning problems in the business process context. Analysis of feasibility
Autor:Klimek, Radosław ; Ernst, Sebastian
Temat i słowa kluczowe:modelowanie biznesowe ; planowanie ; logika temporalna ; formalna weryfikacja ; metoda tablic semantycznych ; business modeling ; planning ; temporal logic ; formal verification ; semantic tableaux method
Opis: Abstrakt: Wydawca:Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Miejsce wydania: Data wydania: Typ zasobu: Język: Powiązania:Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212 ; Informatyka Ekonomiczna = Business Informatics, 2011, Nr 22
Prawa:Wszystkie prawa zastrzeżone (Copyright)
Prawa dostępu:Dla wszystkich w zakresie dozwolonego użytku
Lokalizacja oryginału:Uniwersytet Ekonomiczny we Wrocławiu
Źródło finansowania: