Temat: systems verification

Skocz do pozycji: 1.

Tytuł:: Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
Autorzy:: Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Data publikacji:: 2020
Słowa kluczowe:: ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli
ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
Autorzy:: Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Data publikacji:: 2020
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli
ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:: Trzęsicki, Kazimierz
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Uwagi do weryfikacji modelu obliczeniowego drgań układów sterowania śmigłowców
Some remarks on the verification of a model calculating the vibration of the helicopters control systems
Autorzy:: Krzymień, W.
Data publikacji:: 2008
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
Tematy:: lotnictwo
śmigłowce
model obliczeniowy drgań
układ sterowania smigłowców
aviation
helicopters
verification of a model calculating
helicopters control systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Uwagi do weryfikacji modelu obliczeniowego drgań układów sterowania śmigłowców
Autorzy:: Krzymień, W.
Data publikacji:: 2008
Słowa kluczowe:: lotnictwo
śmigłowiec
model obliczeniowy drgań
układ sterowania smigłowców
aviation
helicopters
verification of a model calculating
helicopters control systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Zastosowanie technik programowania CLP do planowania przepływu produkcji w przedsiębiorstwach produkcyjnych
Autorzy:: Tomczuk-Piróg, I.
Data publikacji:: 2006
Słowa kluczowe:: język OPL
problem spełniania ograniczeń
system wariantowania zleceń
constraint logic programming
CLP
decision support systems
DSS
Production Order Verification System
POVS; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Use of LOTOS language in modeling HOOD method structures
Autorzy:: Brzuchcz, R.
Data publikacji:: 2006
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Autorzy:: Brzuchcz, R.
Data publikacji:: 2006
Słowa kluczowe:: systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Modelowanie spłukiwania zanieczyszczeń stałych ze zlewni miejskich przy wykorzystaniu programu EPA SWMM. Cz. II. Kalibracja i weryfikacja modelu
Autorzy:: Zawilski, M.
Sakson, G.
Data publikacji:: 2014
Słowa kluczowe:: spływy opadowe
SWMM
spłukiwanie zanieczyszczeń
modelowanie systemów kanalizacyjnych
kalibracja
weryfikacja
stormwater runoff
pollutant wash-off
modelling of urban sewerage systems
calibration
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: EMLAN: język modelowania i formalnej weryfikacji oprogramowania systemów wbudowanych
Autorzy:: Krystosik, A.
Gawkowski, P.
Data publikacji:: 2007
Słowa kluczowe:: język EMLAN
automat DT-CSM
oprogramowanie systemów wbudowanych
weryfikacja autoalarmu samochodowego
EMLAN language
embedded systems software
DT-CSM
verification of car immobilizer; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "systems verification" wg kryterium: Temat