Haku
Viitteet 1-3 / 3
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 ...
DIANA : Distributed and Safe Autonomous Navigation for a Swarm of Autonomous Vehicles
(Åbo Akademi University, 2021-05-07)
The autonomous systems are typical examples of complex distributed cyber-physical systems (CPS). The main characteristics of such systems is the use of autonomous vehicles. They are increasingly used in various mission-critical ...
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 ...