Pontus Boström

	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)

Coauthor Index

1	Lionel Morel	[4]
2	Mats Neovius	[5]
3	Ian Oliver	[5]
4	Marina A. Waldén	[1] [2] [3] [4] [5]