Travelled to:1 × The Netherlands
1 × United Kingdom
Collaborated with:P.Boström K.Sere S.Ostroumov
Talks about:distribut (1) simulink (1) parallel (1) program (1) develop (1) within (1) system (1) resili (1) applic (1) action (1)
Person: Marina A. Waldén
DBLP: Wald=eacute=n:Marina_A=
Contributed to:
2015
2005
1996Wrote 3 papers:
- PDP-2015-OstroumovBW #modelling #parallel #source code
- Derivation of Parallel and Resilient Programs from Simulink Models (SO, PB, MAW), pp. 416–420.
- IFM-2005-BostromW #development #distributed #fault tolerance #grid #using
- Development of Fault Tolerant Grid Applications Using Distributed B (PB, MAW), pp. 167–186.
- FME-1996-WaldenS
- Refining Action Systems within B-Tool (MAW, KS), pp. 85–104.