Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

Walden, Marina (Ansvarig forskare)
Olszewska, Marta (CoI)
Edmunds, Andrew (CoI)
Ostroumov, Sergey (CoI)
Petre, Luigia (CoI)
Boström, Pontus (CoI)
Neovius, Mats (CoI)

Informationsteknologi

13 Konferensbidrag
10 Beställd rapport
2 Artikel
1 Kapitel
Mer
- 1 Doktorsavhandling

1 resultat

Filter

Agent-Based Management System for Many-Core Platforms: Rigorous Design and Efficient Implementation
Ostroumov, S., 2015, Åbo Akademi University.
Forskningsoutput: Typer av avhandlingar › Doktorsavhandling › Samling av artiklar