Opis

• Tytuł:
  Deduction Based Verification of Business Models
• Twórca:
  Klimek, Radosław;
  Skrzyński, Paweł;
  Turek, Michał
• Opis:
  Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2010; Nr 147, s. 173-188
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Wszystkie prawa zastrzeżone (Copyright);
  Dla wszystkich w zakresie dozwolonego użytku
• Data:
  2010.12.31;
  2010
• Typ:
  artykuł
• Język:
  angielski
• Wydawca:
  Publishing House of Wrocław University of Economics
• Relacja:
  Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2010; Nr 147;
  Advanced Information Technologies for Management – AITM 2010
• Temat i słowa kluczowe:
  deductive reasoning;
  business processes;
  BPMN;
  workflow design patterns;
  formal verification;
  semantic tablea
• Dostawca danych:
  Dolnośląska Biblioteka Cyfrowa
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy