Temat: verification system

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 system" wg kryterium: Temat

Wyświetlanie 1-7 z 7

Zaznacz

Skocz do pozycji: 1.

Tytuł:: EMLAN: język modelowania i formalnej weryfikacji oprogramowania systemów wbudowanych
Autorzy:: Krystosik, A.
Data publikacji:: 2008
Słowa kluczowe:: formalna weryfikacja
modelowanie
systemy wbudowane
embedded system
formal verification
modelling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Communication with Environment in Alvis Models
Autorzy:: Szpyrka, M.
Matyasik, P.
Mrówka, R.
Kotulski, L.
Data publikacji:: 2012
Słowa kluczowe:: Alvis modelling language
embedded system
formal verification
communication with environment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Cross modeling of embedded systems using SysML and Petri Nets
Autorzy:: Szmuc, Wojciech
Szmuc, Tomasz
Data publikacji:: 2018
Słowa kluczowe:: embedded system
cross modeling
formal verification
systemy wbudowane
modelowanie krzyżowe
formalna weryfikacja; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Introduction to Alvis modelling language
Autorzy:: Szpyrka, M.
Matysik, P.
Mrówka, R.
Witalec, W.
Baniewicz, J.
Balicki, K.
Data publikacji:: 2011
Słowa kluczowe:: język modelowania Alvis
formalna weryfikacja
systemy wbudowane
Alvis language
formal verification
embedded system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Modelling concurrent systems with Alvis
Autorzy:: Szpyrka, M.
Data publikacji:: 2011
Słowa kluczowe:: Alvis
systemy wbudowane
systemy współbieżne
modelowanie i weryfikacja
embedded system
concurrent systems
modelling and verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Specyfikacja sterowników cyfrowych zorientowana na niezawodność
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2010
Słowa kluczowe:: systemy wbudowane
Rekonfigurowalne Sterowniki Logiczne
diagram maszyny stanów
UML
sieci Petriego
diagramy SFC
embedded system
reconfigurable logic controller
UML state machine diagram
Petri net
sequential function chart
quality-driven design
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Nowoczesne technologie projektowania systemów automatyki
Autorzy:: Pauluk, Mariusz
Data publikacji:: 2020
Słowa kluczowe:: systemy wbudowane
jakość oprogramowania
kryzys oprogramowania
cykl życia oprogramowania
Model V
weryfikacja
walidacja
techniki testowania MIL
techniki testowania SIL
techniki testowania PIL
techniki testowania HIL
embedded system
quality of software
software crisis
software life cycle
V-Model
verification
validation
MIL model-in-the-loop testing
SIL model-in-the-loop testing
PIL model-in-the-loop testing
HIL model-in-the-loop testing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-7 z 7

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 system" wg kryterium: Temat