title
Nutika kuuelamu elutagamissüsteemi töökindluse prototüüpimine
Prototyping the Reliability of the Life Support System in a Smart Lunar Habitat
author
Lutsar, Meelis
keywords
IGLUNA
UPPAAL Stratego
tarkvaraarendus
bakalaureusetööd
model-based development
bachelor's theses
supervisor
Vain, Jüri
defence date
10.06.2025
language
est
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
School of Information Technologies
department / college
Tarkvarateaduse instituut
Department of Software Science
subunit
IAIB
IAIB