Wszystkie pola: verification of software systems

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "verification of software systems" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 19

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
Autorzy:: Elmansouri, Raida
Meghzili, Said
Chaoui, Allaoua
Data publikacji:: 2021
Słowa kluczowe:: model-driven engineering
graph transformation
transformation correctness
model checker
groove
software systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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

Skocz do pozycji: 3.

Tytuł:: ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems
Autorzy:: Suraj, Z.
Pancerz, K.
Data publikacji:: 2013
Słowa kluczowe:: computer systems
computer software
automation
Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Software for data acquisition with options for multimeter calibration and verification of its accuracy
Autorzy:: Tabisz, R.
Zawisza, P.
Data publikacji:: 2017
Słowa kluczowe:: data acquisition
calibration
accuracy verification
measurements management systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A safe programmable electronic system
Autorzy:: Halang, W.
Śnieżek, M.
Data publikacji:: 2010
Słowa kluczowe:: programmable electronic systems
safety
fail-safe comparison
function block programming
software verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Metrological verification of cyber-physical systems
Autorzy:: Oleskiv, O.
Mykytyn, I.
Data publikacji:: 2015
Słowa kluczowe:: measuring instrument
software
metrological verification
cyber-physical systems
embedded control systems
intelligent sensor
przyrząd pomiarowy
oprogramowanie
kontrola metrologiczna
systemy cyberfizyczne
wbudowane systemy sterowania
czujnik inteligentny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Requirement Elicitation Techniques for Software Projects in Ukrainian IT: An Exploratory Study
Autorzy:: Gobov, Denys
Huchenko, Inna
Data publikacji:: 2020
Słowa kluczowe:: formal specification
formal verification
project management
software management
systems analysis
specyfikacja formalna
weryfikacja formalna
zarządzanie projektami
zarządzanie oprogramowaniem
analiza systemów; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: The labview programming environment for EMC verification of RFID systems
Autorzy:: Maćkowiak, A.
Sieczkarek, K.
Data publikacji:: 2014
Słowa kluczowe:: EMC testing
RFID system
LabView software; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Certification of Highly Complex Safety-Related Systems
Autorzy:: Reinert, D.
Schaefer, M.
Data publikacji:: 1999
Słowa kluczowe:: certification
complex electronic systems
numerical controller
power drive
machining centre
validation
verification
microcomputer
metrics
software
certyfikacja
systemy elektroniczne
centra obróbkowe
mikrokomputery
oprogramowanie; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A Framework for the Verification of Parameterized Infinite-state Systems
Autorzy:: Alberti, F.
Ghilardi, S.
Sharygina, N.
Data publikacji:: 2017
Słowa kluczowe:: infinite-state systems
software model-checking
arrays
quantifiers
satisfiability modulo theories; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 19

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "verification of software systems" wg kryterium: Wszystkie pola