Skip to main navigation
Skip to search
Skip to main content
Åbo Akademi University Home
English
Svenska
Suomi
Home
Persons
Research units
Projects
Publications
Datasets
Prizes
Activities
Press/Media
Impacts
Courses
Equipment
Search by expertise, name or affiliation
Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, Marina
(Principal Investigator)
Olszewska, Marta
(Co-Investigator)
Edmunds, Andrew
(Co-Investigator)
Ostroumov, Sergey
(Co-Investigator)
Petre, Luigia
(Co-Investigator)
Boström, Pontus
(Co-Investigator)
Neovius, Mats
(Co-Investigator)
Information Technology
Overview
Publications
(27)
Research output
Research output per year
2014
2015
2016
2017
2020
13
Conference contribution
10
Commissioned report
2
Article
1
Chapter
1
More
1
Doctoral Thesis
Research output per year
Research output per year
1 results
Type
(ascending)
Publication Year, Title
Title
Type
(descending)
Filter
Doctoral Thesis
Search results
Doctoral Thesis
Agent-Based Management System for Many-Core Platforms: Rigorous Design and Efficient Implementation
Ostroumov, S.
,
2015
,
Åbo Akademi University
.
Research output
:
Types of Thesis
›
Doctoral Thesis
›
Collection of Articles