Computer Science (->1.1.2015)


Publications

Go to first page Go to previous page 11 of 11 Go to next page Go to last page
A4 Conference proceedings
Development of Fault Tolernt Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Springer
View on publisher's site
D4 Published development or research report or study
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Published development or research report or study
Optimisation-based black-box testing of assertions in Simulink models (2005)
Pontus Boström, Jerker Björkqvist
A1 Journal article (refereed)
Implementation of Control Systems using B Action Systems - A Case Study (2004)
Boström P, Waldén M
Nordic Journal of Computing
D4 Published development or research report or study
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Published development or research report or study
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 Journal article (refereed)
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
View on publisher's site

Last updated on 2018-19-09 at 19:36