Přihlásit se
Prohlížení dle Autor Medvecová, Pavla
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 4 až 6 z 6
< předchozí
Datum vydání
Název
Autor
2014
Stabilizace jednoduchých mechanických systémů
Medvecová, Pavla
2021
Test case generation for Function Block Diagram based on blocks’ predefined behaviour
Ausberger, Tomáš
;
Kubíček, Karel
;
Medvecová, Pavla
;
Myslivec, Tomáš
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