Datavetenskap (->1.1.2015)


Publikationer

null null 11 av 11 null null
A4 Konferenspublikationer
Development of Fault Tolernt Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Springer
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Optimisation-based black-box testing of assertions in Simulink models (2005)
Pontus Boström, Jerker Björkqvist
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Implementation of Control Systems using B Action Systems - A Case Study (2004)
Boström P, Waldén M
Nordic Journal of Computing
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Methodology for integration of formal methods in a healthcare case study (2001)
Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Quantitative analysis of the self-assembly strategies of intermediate filaments from tetrameric vimentin (2000)
Czeizler E, Mizera A, Czeizler E, Back RJ, Eriksson JE, Petre I
IEEE/ACM Transactions on Computational Biology and Bioinformatics
Visa på utgivarens sida

Senast uppdaterad 2018-19-09 vid 19:36