Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
Group publication title:Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Title in english:Formal verification of planning problems in the business process context. Analysis of feasibility
Creator:Klimek, Radosław ; Ernst, Sebastian
Subject and Keywords:modelowanie biznesowe ; planowanie ; logika temporalna ; formalna weryfikacja ; metoda tablic semantycznych ; business modeling ; planning ; temporal logic ; formal verification ; semantic tableaux method
Description: Abstrakt: Publisher:Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Place of publication: Date: Resource Type: Language: Relation: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
Rights:Wszystkie prawa zastrzeżone (Copyright)
Access Rights:Dla wszystkich w zakresie dozwolonego użytku
Location:Uniwersytet Ekonomiczny we Wrocławiu
Coverage: