• High-assurance software laboratory.
    Dependable IT solutions, Innovative businesses and future governance.
    Uustalu, Tarmo https://cs.ioc.ee/lsg/
  • Simon, Martintarkvarateaduse instituut, doktorant-nooremteadurAt TalTech: 2017-https://www.webofscience.com/wos/author/rid/MKX-7547-2025 https://www.scopus.com/authid/detail.uri?authorId=57223307452 https://taltech.ee/kontaktid/tugevalt-tagatud-tarkvara-laboratoorium/martin-simon