Travelled to:1 × Finland
Collaborated with:G.G.d.Jong V.Mezhuyev O.Botti V.D.Florio G.Deconinck R.Lauwereins F.Cassinari S.Donatelli A.Bobbio A.Klein H.Kufner E.M.Thurner
Talks about:implement (1) industri (1) approach (1) softwar (1) network (1) develop (1) centric (1) benefit (1) pitfal (1) method (1)
Person: Eric Verhulst
DBLP: Verhulst:Eric
Contributed to:
2008
2000Wrote 2 papers:
- FM-2008-VerhulstJM #case study #development #formal method #industrial
- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS (EV, GGdJ, VM), pp. 411–418.
- PDP-2000-BottiFDLCDBKKTV #approach #fault tolerance #reuse
- The TIRAN approach to reusing software implemented fault tolerance (OB, VDF, GD, RL, FC, SD, AB, AK, HK, EMT, EV), pp. 325–332.