High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo
https://cs.ioc.ee/lsg/
Maarand, Hendrik
tarkvarateaduse instituut
,
teadur
At TalTech: 2015-
https://orcid.org/0000-0002-1967-4297
https://www.webofscience.com/wos/author/rid/MEP-4708-2025
https://scholar.google.com/citations?user=sjcHF-0AAAAJ
https://www.scopus.com/authid/detail.uri?authorId=57194204099
https://taltech.ee/kontaktid/tugevalt-tagatud-tarkvara-laboratoorium/hendrik-maarand