( en | de | ru )

 

Disambiguation of "Boström, Pontus"

Author of the publication

copydeleteadd this publication to your clipboard
Derivation of concurrent programs by stepwise scheduling of Event-B models.

, , , and . Formal Aspects Comput., 26 (2): 281-303 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kim Boström

Elmar Boström

Henning Boström

Azize Boström

Jan Patrick Boström

 

Other publications of authors with the same name

Implementation of Control Systems Using B Action Systems: A Case Study., and . Nord. J. Comput., 11 (2): 75-101 (2004)Verification and Validation of a Pressure Control Unit for Hydraulic Systems., , , , and . SERENE, volume 8785 of Lecture Notes in Computer Science, page 101-115. Springer, (2014)Concurrent Scheduling of Event-B Models, , , and . Refine@FM, volume 55 of EPTCS, page 166-182. (2011)An Extension of Event B for Developing Grid Systems., and . ZB, volume 3455 of Lecture Notes in Computer Science, page 142-161. Springer, (2005)Analysis of Real-Time Properties of a Digital Hydraulic Power Management System., , , , , and . FMICS, volume 8718 of Lecture Notes in Computer Science, page 33-47. Springer, (2014)Specification and Automated Verification of Dynamic Dataflow Networks., and . SEFM, volume 10469 of Lecture Notes in Computer Science, page 136-151. Springer, (2017)Integrating Refinement-Based Methods for Developing Timed Systems., , and . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Contract-based verification of discrete-time multi-rate Simulink models., and . Softw. Syst. Model., 15 (4): 1141-1161 (2016)Contract-based verification of MATLAB-style matrix programs., and . Formal Aspects Comput., 28 (1): 79-107 (2016)Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems., , , , and . QEST, volume 9259 of Lecture Notes in Computer Science, page 312-328. Springer, (2015)