Opis

• Tytuł:
  Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
• Twórca:
  Klimek, Radosław;
  Ernst, Sebastian
• Opis:
  Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212, s. 169-183
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Wszystkie prawa zastrzeżone (Copyright);
  Dla wszystkich w zakresie dozwolonego użytku
• Data:
  2011.12.31;
  2011
• Typ:
  artykuł
• Język:
  polski
• Wydawca:
  Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
• Relacja:
  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
• 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
• Dostawca danych:
  Dolnośląska Biblioteka Cyfrowa
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy