pealkiri
SPARK’i avaldiste teisendamine Simulink diagrammideks
Converting SPARK Expressions to Simulink Diagrams
autor
Holvason, Roman
märksõnad
SPARK
Simulink diagrammid
avaldis
teisendamine
Simulink diagrams
programming languages
juhendaja
kaitsmiskuupäev
keel