title
SPARK’i avaldiste teisendamine Simulink diagrammideks
Converting SPARK Expressions to Simulink Diagrams
author
Holvason, Roman
keywords
SPARK
Simulink diagrammid
avaldis
teisendamine
Simulink diagrams
programming languages
supervisor
defence date
language