Återgå till huvudnavigering
Återgå till sök
Gå direkt till huvudinnehållet
Åbo Akademi Hem
English
Svenska
Suomi
Hem
Personer
Forskningsenheter
Projekt
Publikationer
Dataset
Priser
Aktiviteter
Tidningsurklipp
Genomslag
Kurser
Utrustning
Sök per experter, namn eller tillhörighet
Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, Marina
(CoPI)
Sere, Kaisa
(Ansvarig forskare)
Troubitsyna, Elena
(CoPI)
Petre, Luigia
(CoI)
Boström, Pontus
(CoI)
Tsiopoulos, Leonidas
(CoI)
Jansson, Micaela
(CoI)
Engblom, Niklas
(CoI)
Informationsteknologi
Översikt
Publikationer
(8)
Forskningsresultat
Publikationer per år
2001
2001
2002
2003
2004
4
Beställd rapport
3
Konferensbidrag
1
Artikel
Publikationer per år
Publikationer per år
1 resultat
Publikations år, titel
(stigande)
Publikations år, titel
(fallande)
Titel
Typ
Filter
Artikel
Sökresultat
2004
Implementation of Control Systems using B Action Systems - A Case Study
Boström, P.
&
Walden, M.
,
2004
,
I:
Nordic Journal of Computing.
11
,
2
,
s. 75–101
Forskningsoutput
:
Tidskriftsbidrag
›
Artikel
›
Vetenskaplig
›
Peer review