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

Informacja

Wyszukujesz frazę "program verification" wg kryterium: Temat