Wszystkie pola: program verification

Skocz do pozycji: 1.

Tytuł:: Program Verification using Constraint Handling Rules and Array Constraint Generalizations
Autorzy:: De Angelis, E.
Fioravanti, F.
Pettorossi, A.
Proietti, M.
Data publikacji:: 2017
Słowa kluczowe:: Constraint Handling Rules
CHR
constraint logic programming
CLP
program transformation
program verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Development of the Module for Real-Time Verification of NC Machining Program
Autorzy:: Milojevic, Z.
Navalusic, S.
Zeljkovic, M.
Data publikacji:: 2007
Słowa kluczowe:: 3-axis milling
dexel structure
NC machining program verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Nets with Tokens which Carry Data
Autorzy:: Lazić, R.
Newcomb, T.
Ouaknine, J.
Roscoe, A.W.
Worrell, J.
Data publikacji:: 2008
Słowa kluczowe:: Petri net
infinite-state systems
program verification
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Walidacja programu PLC z wykorzystaniem wirtualnego modelu urządzenia w programie Delmia automation
Autorzy:: Słota, A.
Borowy, S.
Data publikacji:: 2013
Słowa kluczowe:: weryfikacja programu
sterownik PLC
walidacja
Delmia
program verification
PLC controller
validation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Wirtualny kontroler pionowego centrum obróbkowego FV 580A - symulacja, weryfikacja i analiza porównawcza procesu obróbki
Autorzy:: Józwik, J.
Włodarczyk, M.
Ścierka, T.
Data publikacji:: 2010
Słowa kluczowe:: sterownik
obrabiarka CNC
symulacja
system NX
weryfikacja programu
skrawanie
controller
CNC machine tool
NX system
simulation
program verification
cutting; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Wirtualny kontroler pionowego centrum obróbkowego FV 580A - symulacja, weryfikacja i analiza porównawcza procesu obróbki
Virtual controller vnc of vertical CNC machine center FA-580A
Autorzy:: Józwik, J.
Włodarczyk, M.
Ścierka, T.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sterownik
obrabiarka CNC
symulacja
system NX
weryfikacja programu
skrawanie
controller
CNC machine tool
NX system
simulation
program verification
cutting; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Formalization of software risk assessment results in legal metrology based on ISO/IEC 18045 vulnerability analysis
Autorzy:: Esche, Marko
Salwiczek, Felix
Grasso Toro, Federico
Data publikacji:: 2019
Słowa kluczowe:: software
formal specification
IEC standards
ISO standards
probability
program verification
risk management
security of data
software standards
oprogramowanie
formalna specyfikacja
normy IEC
normy ISO
prawdopodobieństwo
weryfikacja programu
zarządzanie ryzykiem
bezpieczeństwo danych
standardy oprogramowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A program for the independent verification of brachytherapy planning system calculations
Data publikacji:: 2010
Tematy:: Radioterapia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Wady i zalety programu do odbioru leśnych map numerycznych
Autorzy:: Napierała, H.
Data publikacji:: 2004
Słowa kluczowe:: leśne mapy numeryczne
standard
kontrola
digital forest maps
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: American Foreign Supplier Verification Program (FSVP) —Requirements, Benefits or Burdens for Indian Food Companies, and Difficulties in the Implementation®
Autorzy:: Nair, Surya S.
Czarnecka-Skubina, Ewa
Jakubowska-Gawlik, Katarzyna
Trafiałek, Joanna
Data publikacji:: 2022
Słowa kluczowe:: India
FSVP
food safety
importer
Indie
bezpieczeństwo żywności; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Verification of FEM program solutions of stability and torsion problems for I shape steel members
Autorzy:: Gosowski, B.
Współwytwórcy:: Politechnika Wrocławska
Niżniowski, P.
Data publikacji:: 2008
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Modelowanie spływu ścieków opadowych ze zlewni miejskiej przy wykorzystaniu programu SWMM. Cz.II. Weryfikacja modelu
Autorzy:: Zawilski, M.
Sakson, G.
Data publikacji:: 2011
Słowa kluczowe:: ścieki
modelowanie
zlewnia miejska
program SWMM
urban drainage area
sewage
SWMM program
modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Dyskretny model dynamiczny przekładni zębatej stożkowej - weryfikacja kodu źródłowego programu do symulacji numerycznej
Autorzy:: Twardoch, K.
Data publikacji:: 2014
Słowa kluczowe:: przekładnia zębata stożkowa
model dynamiczny
weryfikacja
walidacja
symulacja numeryczna
symulacja komputerowa
MATLAB
bevel gear
dynamic model
verification
validation
numerical simulation
computer simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Dyskretny model dynamiczny przekładni zębatej stożkowej - weryfikacja kodu źródłowego programu do symulacji numerycznej
Discrete dynamic model of bevel gear - verification the program source code for numerical simulation
Autorzy:: Twardoch, K.
Data publikacji:: 2014
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: przekładnia zębata stożkowa
model dynamiczny
weryfikacja
walidacja
symulacja numeryczna
symulacja komputerowa
MATLAB
bevel gear
dynamic model
verification
validation
numerical simulation
computer simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: American Foreign Supplier Verification Program (FSVP) —Requirements, Benefits or Burdens for Indian Food Companies, and Difficulties in the Implementation®
Amerykański Program Weryfikacji Dostawców Zagranicznych (FSVP) —wymagania, korzyści lub obciążenia dla indyjskich firm spożywczych oraz trudności we wdrożeniu
Autorzy:: Nair, Surya S.
Czarnecka-Skubina, Ewa
Jakubowska-Gawlik, Katarzyna
Trafiałek, Joanna
Data publikacji:: 2022
Wydawca:: Wyższa Szkoła Menedżerska w Warszawie
Tematy:: India
FSVP
food safety
importer
Indie
bezpieczeństwo żywności; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Verification of FEM program solutions of stability and torsion problems for I shape steel members
Autorzy:: Gosowski, B.
Niżniowski, P.
Data publikacji:: 2008
Słowa kluczowe:: metoda elementów skończonych
stateczność
skręcanie
wyboczenie
element stalowy
element dwuteowy
thin-walled cross-section
column
compression
bending
flexural-torsional buckling
beam
non-uniform torsion
modelling
FEM
finite element method
stability
torsion
I shape member
steel member
buckling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Telewizja Polska czasu wielkiego kryzysu. Organizacja i zarządzanie TVP podczas stanu wojennego
Polish Television at the time of the great crisis. Organization and management of TVP during martial law
Autorzy:: Jaworski, Karol
Słowa kluczowe:: Martial law, Polish Television, Radio committee, verification, program, organization, management, opinions, Maciej Szczepański, propaganda, media, Dziennik Telewizyjny, militarization, Władysław Loranc, Wojciech Jaruzelski
Stan wojenny, Telewizja Polska, Radiokomitet, weryfikacja, program, organizacja, zarządzanie, opinie, Maciej Szczepański, propaganda, media, Dziennik Telewizyjny, militaryzacja, Władysław Loranc, Wojciech Jaruzelski; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 18.

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: 19.

Tytuł:: Weryfikacja technologii środowiskowych
Autorzy:: Kościerzyński, S.
Data publikacji:: 2014
Słowa kluczowe:: Program Weryfikacji Technologii Środowiskowych
ETV
environmental technology verification
weryfikacja technologii
Świadectwo Weryfikacji ETV; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Controlling Polyvariance for Specialization-based Verification
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2013
Słowa kluczowe:: constraint logic programming
generalization
polyvariance
program specialization
unfold/fold transformation
verification of infinite state reactive systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Improving Reachability Analysis of Infinite State Systems by Specialization
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2012
Słowa kluczowe:: reachability analysis
automatic verification
program transformation
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Development of the module for verification of NC machining program
Autorzy:: Milojević, Zoran
Współwytwórcy:: Zeljković, Milan
Navalušić, Slobodan
Data publikacji:: 2005
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Development of the module for real-time verification of NC machining program
Autorzy:: Milojević, Zoran
Współwytwórcy:: Zeljković, Milan
Navalušić, Slobodan
Data publikacji:: 2007
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: The statistical models for interpreting the results of parcels area verification in integrated administration and control system IACS
Autorzy:: Wolski, B.
Toś, C.
Data publikacji:: 2018
Słowa kluczowe:: IACS system
verification of parcel area
robust statistics
program IACS
weryfikacja powierzchni działek
statystyka odpornościowa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Oprogramowanie wspomagające weryfikację programów współbieżnych w systemie Satori.
A tool facilitating verification of multithreaded programs in Satori system.
Autorzy:: Wróbel, Marek
Słowa kluczowe:: Lock-free, sytuacja wyścigu, program wielowątkowy.
Lock-free, race condition, multithreaded program; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Informacja

Wyszukujesz frazę "program verification" wg kryterium: Wszystkie pola