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 2 až 6 z 6
< předchozí
Datum vydání
Název
Autor
2020
Model Checking application on Function Block Diagram model
Ausberger, Tomáš
;
Kubíček, Karel
;
Medvecová, Pavla
;
Myslivec, Tomáš
;
Štětina, Milan
2017
Řízení rovinného pohybu permanentního magnetu magnetickým polem
Medvecová, Pavla
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