High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo
https://cs.ioc.ee/lsg/
Wan, Cheng-Syuan
tarkvarateaduse instituut
,
doktorant-nooremteadur
At TalTech: 2021-
https://orcid.org/0000-0003-2053-1688
https://scholar.google.com/citations?user=97Hxj9UAAAAJ&hl=en