Haku
Viitteet 1-5 / 5
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 ...
Target Controllability of Cancer Networks
(Åbo Akademi University, 2020-06-12)
Advances in the field of complex networks theory and network biology pave a new way to define human health through the study of networks of proteins, genes, metabolites, modules across cell signaling pathways, and clinical ...
Formal Model Refinement for Complex Biological Systems
(Åbo Akademi - Åbo Akademi University, 2020-03-20)
There is a big interest in building large biological models and various approaches are being used for constructing such systems. Larger models are needed in system-level approaches (such as systems biology, systems medicine, ...