pealkiri
Nutika kuuelamu elutagamissüsteemi töökindluse prototüüpimine
Prototyping the Reliability of the Life Support System in a Smart Lunar Habitat
autor
Lutsar, Meelis
märksõnad
IGLUNA
UPPAAL Stratego
tarkvaraarendus
bakalaureusetööd
model-based development
bachelor's theses
juhendaja
Vain, Jüri
kaitsmiskuupäev
10.06.2025
keel
est
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
School of Information Technologies
instituut / kolledž
Tarkvarateaduse instituut
Department of Software Science
allüksus
IAIB
IAIB