title
Model-Based Testing of Real-Time Distributed Systems
Reaalaja hajussüsteemide mudelipõhine testimine
author
Pal, Deepak
keywords
model based testing
IoT
distributed testing
formal methods
centralized testing
dissertations
dissertatsioonid
serial number
48/2020
publisher
TalTech Press
TalTech Kirjastus
supervisor
Vain, Jüri
defence date
10.12.2020
identifier
https://digikogu.taltech.ee/et/Item/b919afec-e786-4e14-9918-7d8db3b20cfe
https://doi.org/10.23658/taltech.48/2020
ISBN 9789949836369 (pdf)
language
eng
rights
CC BY-NC-SA
institution
Tallinn University of Technology
Tallinna Tehnikaülikool
faculty
School of Information Technologies
Infotehnoloogia teaduskond
department / college
Department of Software Science
Tarkvarateaduse instituut