Zobrazeno 1 - 10
of 17
pro vyhledávání: '"C. Dechsupa"'
Publikováno v:
IEEE Access, Vol 10, Pp 42983-43002 (2022)
Internet of Things (IoT) technologies have been increasingly developed for real-time application in manufacturing processes to address heterogeneous devices and software effectively. Although almost all activities in a manufacturing process can perfo
Externí odkaz:
https://doaj.org/article/11a98e3ff9a841d287730aa7fef9d44a
Publikováno v:
IEEE Access, Vol 7, Pp 16795-16815 (2019)
The BPMN design models are widely used in the software development process. Owing to the lack of BPMN standard semantics, formal verification is used to validate whether the BPMN design model is free of undesirable properties. The primary challenges
Externí odkaz:
https://doaj.org/article/0923bfcaaf8c40b69a8d3a0a665f17c4
Publikováno v:
IEEE Access, Vol 6, Pp 38421-38436 (2018)
Formal verification is a process to ensure that the business process model and notation (BPMN) design model is free of deadlock, livelock, and other undesirable properties that can cause a system crash. Formal verification is a complicated procedure
Externí odkaz:
https://doaj.org/article/1cbdf2d69ab949bab04e4f849f90da91
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.