Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Åbo Akademi Etusivu
English
Svenska
Suomi
Etusivu
Henkilöt
Tutkimusyksiköt
Projektit
Julkaisut
Tietoaineistot
Palkinnot
Aktiviteetit
Lehtileikkeet
Vaikutukset
Kurssit
Haku asiantuntemuksen, nimen tai kytköksen perusteella
Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, Marina
(Vastuullinen tutkija)
Olszewska, Marta
(CoI)
Edmunds, Andrew
(CoI)
Ostroumov, Sergey
(CoI)
Petre, Luigia
(CoI)
Boström, Pontus
(CoI)
Neovius, Mats
(CoI)
Information Technology
Yleiskatsaus
Julkaisut
(27)
Tutkimustuotos
Julkaisuja vuodessa
2014
2015
2016
2017
2020
13
Konferenssiartikkeli
10
Tutkimusraportti
2
Artikkeli
1
Luku
1
Lisää
1
Tohtorinväitöskirja
Julkaisuja vuodessa
Julkaisuja vuodessa
1 tulosta
Tyyppi
(nouseva)
Julkaisuvuosi, teoksen nimi
Nimi
Tyyppi
(laskeva)
Suodatin
Tohtorinväitöskirja
Hakutulokset
Tohtorinväitöskirja
Agent-Based Management System for Many-Core Platforms: Rigorous Design and Efficient Implementation
Ostroumov, S.
,
2015
,
Åbo Akademi University
.
Tutkimustuotos
:
Väitöskirjatyypit
›
Tohtorinväitöskirja
›
Artikkelikokoelma