 | 2011 |
|---|
| 8 |       | Pontus Boström:
Contract-Based Verification of Simulink Models.
ICFEM 2011: 291-306 |
| 7 | | Pontus Boström,
Fredrik Degerlund,
Kaisa Sere,
Marina A. Waldén:
Concurrent Scheduling of Event-B Models
Refine 2011: 166-182 |
| 2010 |
|---|
| 6 | | Pontus Boström:
Creating Sequential Programs from Event-B Models.
IFM 2010: 74-88 |
| 2007 |
|---|
| 5 | | 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 | | 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 | | Pontus Boström,
Marina A. Waldén:
Development of Fault Tolerant Grid Applications Using Distributed B.
IFM 2005: 167-186 |
| 2 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page