High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo
https://cs.ioc.ee/lsg/
Vain, Jüri
tarkvarateaduse instituut
,
kaasprofessor
At TalTech: 1988-
https://orcid.org/0000-0002-0700-7972
https://www.webofscience.com/wos/author/rid/GDS-0753-2022
https://scholar.google.com/citations?hl=en&user=cYntkuEAAAAJ
https://www.scopus.com/authid/detail.uri?authorId=13905505300