title
TTÜ Mektory nanosatelliidi tarkvara testide tõestatavalt korrektne arendus
Provably Correct Test Development for TUT Mektory Nanosatellite Software
author
Singh, Madhushree
keywords
testi verifitseerimine
Uppaali ajaga automaadid
TTÜ Mekory nanosatelliidi tarkvara
test verification
TUT Mektory Nanosatellite Software
supervisor
defence date
language