Temat: verification system

Skocz do pozycji: 1.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: System Design for Evenness Measurement of Raw Silk
Projekt systemu do pomiaru równomierności surowego jedwabiu
Autorzy:: Pan, Q.
Chen, M.
Hu, Y.
Zuo, B.
Data publikacji:: 2018
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Biopolimerów i Włókien Chemicznych
Tematy:: image vision
raw silk evenness
diameter extraction
variation coefficient
CV
system verification
analiza obrazu
jedwab surowy
równomierność jedwabiu
współczynnik zmienności
systemy kontroli; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Note on Analysis of BPMN Diagrams
Przyczynek do analizy diagramów BPMN
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: notacja modelowania procesów biznesowych
BPMN
reguły biznesowe
systemy regułowe
analiza systemowa
weryfikacja systemów
bezpieczeństwo
niezawodność
efektywność
poprawność
Business Process Modeling Notation (BPMN)
business rules
rule-based systems
system analysis
system verification
safety
reliability
efficiency
correctness; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja