| |
| 2007 | ||
|---|---|---|
| 5 | EE | Pontus Boström, Mats Neovius, Ian Oliver, Marina A. Waldén: Formal Transformation of Platform Independent Models into Platform Specific Models. B 2007: 186-200 |
| 4 | EE | Pontus Boström, Lionel Morel, Marina A. Waldén: Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93 |
| 2005 | ||
| 3 | EE | Pontus Boström, Marina A. Waldén: Development of Fault Tolerant Grid Applications Using Distributed B. IFM 2005: 167-186 |
| 2 | EE | Pontus Boström, Marina A. Waldén: An Extension of Event B for Developing Grid Systems. ZB 2005: 142-161 |
| 2004 | ||
| 1 | Pontus Boström, Marina A. Waldén: Implementation of Control Systems Using B Action Systems: A Case Study. Nord. J. Comput. 11(2): 75-101 (2004) | |
| 1 | Lionel Morel | [4] |
| 2 | Mats Neovius | [5] |
| 3 | Ian Oliver | [5] |
| 4 | Marina A. Waldén | [1] [2] [3] [4] [5] |