Description

• Title:
  Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
• Creator:
  Klimek, Radosław;
  Ernst, Sebastian
• Description:
  Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212, s. 169-183
• Object availability:
  free access
• Rights:
  Wszystkie prawa zastrzeżone (Copyright);
  Dla wszystkich w zakresie dozwolonego użytku
• Date:
  2011.12.31;
  2011
• Type:
  artykuł
• Language:
  Polish
• Publisher:
  Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
• 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
• Subject:
  modelowanie biznesowe;
  planowanie;
  logika temporalna;
  formalna weryfikacja;
  metoda tablic semantycznych;
  business modeling;
  planning;
  temporal logic;
  formal verification;
  semantic tableaux method
• Data provider:
  Dolnośląska Biblioteka Cyfrowa
• Can I use it?:
  seek permission
• Type:
  image