Wyszukiwanie:
tytuł, autor
wszędzie

Sortowanie:


Bibliografia Publikacji Pracowników PK (49496)
    Książki (7503)
    Artykuły i czasopisma (22683)
    Materiały konferencyjne (22339)
    Rozprawy doktorskie (1246)
    Opublikowane recenzje (87)
    Inne publikacje w portalach i serwisach internetowych (160)
Inne bazy bibliograficzne (15031)
    Architektura i Sztuka Krakowa (2298)
    Historia i Ludzie PK – baza w przygotowaniu (12)
    Konferencje Krynickie - Referaty (7776)
    Niepublikowane prace naukowe pracowników PK (1994-2012) (4941)


Jednostki PK

Opcje

Suchenia (Mroczek), Anna; Wiśniewski, Piotr; Ligęza, Antoni

Overview of verification tools for business process models

typ: materiały konferencyjne w książce

 

Forma publikacji referat/rozdział w monografii
Tytuł źródła Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, September 3-6, 2017, Prague, Czech Republic
Redaktor źródła Ganzha, Maria; Maciaszek, Leszek; Paprzycki, Marcin
Miejsce wydania Warszawa
Wydawca Polskie Towarzystwo Informatyczne
Wydawnictwo według MEiN Polskie Towarzystwo Informatyczne
Data wydania 2017
Język angielski
Seria/Czasopismo Annals of Computer Science and Information Systems
Numer w serii 13
ISSN serii 2300-5963
Typ nośnika online
Zakres stron 295-302
Oznaczenie ilustracji rys., schem.
Bibliografia (na str.) 300-302
Bibliografia (liczba pozycji) 93
Oznaczenie streszczenia Abstr.
ISBN 78-83-922646-2-0 WEB
78-83-922646-3-7 USB
Uwagi Tyt. źródła częściowo wg okł.
Nazwa konferencji FedCSIS 2017 : 2017 Federated Conference on Computer Science and Information Systems
Miejsce konferencji Prague, Czech Republic
Data konferencji 3-6.09.2017
DOI 10.15439/2017F308
Charakter pracy publikacja naukowa
Publikacja recenzowana tak
Opis bibliograficzny
Overview of verification tools for business process models / Anna Suchenia (Mroczek), Piotr Wiśniewski, Antoni Ligęza // W: Communication Papers of the 2017 Federated Conference on Computer Science and ... więcej

tematyka
Słowa kluczowe process models verification, process models anomalies, verification tools, business process verification
Abstrakt
Formal verification of process models is an important issue in Business Process Management. Such a verification provides the information about the correctness of a process model, can be also used for checking ... więcej

punktacja i wskaźniki
Liczba arkuszy 1
Dyscyplina automatyka, elektronika i elektrotechnika
Dziedzina nauk inżynieryjno-technicznych

dodatkowe informacje
Publikacja w Open Access (OA) tak

odnośniki
Link do publikacji przejdź  
Kolekcja
Materiały konferencyjne w książce
Materiały konferencyjne /






© 2009 - 2023 Biblioteka Politechniki Krakowskiej http://www.biblos.pk.edu.pl/