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-4 z 4

Zaznacz

Skocz do pozycji: 1.

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

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

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

Tytuł:: Asercyjne rozszerzenie języka ST normy IEC 61131-3 do dynamicznej weryfikacji systemów sterowania
Autorzy:: Sadolewski, J.
Data publikacji:: 2011
Słowa kluczowe:: oprogramowanie
projektowanie kontraktowe
język ST
systemy sterowania
software
design by contract
Structured Text language
control systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-4 z 4

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