Přihlásit se
Prohlížení dle Předmět I&C systems
Přejít na:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
nebo zadejte několik prvních písmen:
Seřadit dle:
název
datum vydání
datum zaslání
Řazení:
vzestupně
sestupně
Výsledků na stránku
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autorů na záznam:
Všechny
1
5
10
15
20
25
30
35
40
45
50
Zobrazují se výsledky 1 až 1 z 1
Datum vydání
Název
Autor
2022
Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing
Ausberger, Tomáš
;
Kubíček, Karel
;
Medvecová, Pavla
;
Wolf, Jindřich
