Boström, Pontus

name

• Boström, Pontus

Authored works

• A healthcare case study : Fillwell
• An extension of Event B for developing grid systems
• Development of fault tolerant grid applications using distributed B
• Formal design and verification of systems using domain-specific languages
• Mode-automata in Simulink/Stateflow
• Optimisation based black-box testing of assertions in Simulink models

Works contributed to

• Formal transformation of platform independent models into platform specific models in MDA

Works about Boström, Pontus