Travelled to:1 × Canada
1 × France
1 × The Netherlands
1 × United Kingdom
Collaborated with:J.Hooman P.G.Larsen N.Plat K.Pronk P.Visser J.F.Broenink J.S.Fitzgerald K.G.Pierce S.Wolff
Talks about:system (3) embed (3) distribut (2) simul (2) model (2) time (2) real (2) vdm (2) collabor (1) develop (1)
Person: Marcel Verhoef
DBLP: Verhoef:Marcel
Contributed to:
20102007
2006
1991Wrote 5 papers:
- IFM-2010-FitzgeraldLPVW #collaboration #development #embedded #modelling
- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems (JSF, PGL, KGP, MV, SW), pp. 12–26.
- IFM-2007-VerhoefVHB #distributed #embedded #realtime
- Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
- FM-2006-VerhoefLH #distributed #embedded #modelling #realtime #validation
- Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
- VDME-1991-PlatPV
- The Delft VDM-SL Front-End (NP, KP, MV), pp. 677–680.