Travelled to:1 × The Netherlands
Collaborated with:U.H.Hjort J.I.Rasmussen K.G.Larsen A.Skou
Talks about:nordisk (1) uppaal (1) model (1) test (1) novo (1) base (1) use (1) gui (1)
Person: Michael A. Petersen
DBLP: Petersen:Michael_A=
Contributed to:
2009Wrote 1 papers:
- FM-2009-HjortRLPS #modelling #testing #user interface #using
- Model-Based GUI Testing Using Uppaal at Novo Nordisk (UHH, JIR, KGL, MAP, AS), pp. 814–818.