Haku
Viitteet 1-2 / 2
Diagrammatic Languages and Formal Verification : A Tool-Based Approach
(Åbo Akademi - Åbo Akademi University, 2022-09-02)
The importance of software correctness has been accentuated as a growing number of safety-critical systems have been developed relying on software operating these systems. One of the more prominent methods targeting the ...
Computational Network Analytics for Applications in Biomedicine
(Åbo Akademi - Åbo Akademi University, 2022-06-03)
Network medicine has recently emerged as a field of research focusing on the analysis of networks modelling complex biological systems, for a better understanding of diseases and corresponding treatment. Building on results ...