Temat: program verification

Skocz do pozycji: 1.

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

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

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: 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ł:: 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: 9.

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

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

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

Tytuł:: The statistical models for interpreting the results of parcels area verification in integrated administration and control system IACS
Statystyczne modele interpretacji wyników weryfikacji powierzchni działek w programie IACS
Autorzy:: Wolski, B.
Toś, C.
Data publikacji:: 2018
Wydawca:: Politechnika Świętokrzyska w Kielcach. Wydawnictwo PŚw
Tematy:: IACS system
verification of parcel area
robust statistics
program IACS
weryfikacja powierzchni działek
statystyka odpornościowa; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

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

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

Tytuł:: Badania zderzeń bocznych samochodów w ruchu do weryfikacji eksperymentalnej metod obliczeniowych stosowanych podczas rekonstrukcji tego rodzaju wypadków drogowych
Autorzy:: Gidlewski, M.
Data publikacji:: 2011
Słowa kluczowe:: testy zderzeniowe samochodów w ruchu
zderzenie boczne pojazdów
rekonstrukcja wypadków drogowych
metoda obliczeń
program komputerowy
weryfikacja eksperymentalna
wypadek drogowy
investigation on side impact collisions
traffic conditions
side collision
reconstruction of accidents
computational methods
software
experimental verification
road accident; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "program verification" wg kryterium: Temat