High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo
https://cs.ioc.ee/lsg/
Voorneveld, Niels
tarkvarateaduse instituut
,
järeldoktor-teadur
At TalTech: 2019-2023
https://orcid.org/0000-0001-6650-3493