Temat: verification system

Skocz do pozycji: 1.

Tytuł:: Slicing Timed Systems
Autorzy:: Janowska, A.
Janowski, P.
Data publikacji:: 2004
Słowa kluczowe:: static analysis
program slicing
system verification
timed systems
Timed Automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Fuzzy Logic Based Adaptive Resonance Theory-1 Approach for Offline Signature Verification
Autorzy:: Jain, C.
Singh, P.
Rana, A.
Data publikacji:: 2017
Słowa kluczowe:: Offline Signature Verification System
FART1 (Fuzzy Adaptive Resonance Theory)
SVM Classifier (Support Vector Machine)
LBP (Local Binary Patterns)
GLCM (Gray Level Co-occurrence Matrices); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Evaluation of the usefulness of small detectors made of Gafchromic EBT3 film for measurements in areas with high dose gradient and without charged-particle equilibrium (CPE)
Autorzy:: Wołowiec, Paweł
Kukołowicz, Paweł Franciszek
Buliński, Krzysztof
Data publikacji:: 2024
Słowa kluczowe:: Gafchromic films
build-up region measurements
accuracy
verification of treatment planning system calculations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Bounded Model Checking for the Universal Fragment of CTL
Autorzy:: Penczek, W.
Woźna, B.
Zbrzezny, A.
Data publikacji:: 2002
Słowa kluczowe:: bounded model checking
logic ACTL (ECTL)
bounded semantics
translation to SAT
elementary eet systems
system verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Generalizing the Compositions of Petri Nets Modules
Autorzy:: Marechal, A.
Buchs, D.
Data publikacji:: 2015
Słowa kluczowe:: system design and verification
modularity
high-level Petri nets
standardization
composition mechanism
LLAMAS; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

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ł

na półce

Szczegóły

Skocz do pozycji: 7.

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ł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Słowa kluczowe:: 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:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: System Design for Evenness Measurement of Raw Silk
Autorzy:: Pan, Q.
Chen, M.
Hu, Y.
Zuo, B.
Data publikacji:: 2018
Słowa kluczowe:: 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:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: High-Level Petri Net Model Checking with AlPiNA
Autorzy:: Hostettler, S.
Marechal, A.
Linard, A.
Risoldi, M.
Buchs, D.
Data publikacji:: 2011
Słowa kluczowe:: system design and verification
Higher-level nets models
algebraic Petri nets
state space generation
computer tools for nets
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "verification system" wg kryterium: Temat