Travelled to:
1 × Italy
Collaborated with:
P.Boström K.Sere L.Tsiopoulos J.Vain
Talks about:
develop (1) system (1) refin (1) time (1) base (1)
Person: Jesper Berthing
DBLP: Berthing:Jesper
Contributed to:
Wrote 1 papers:
- IFM-2012-BerthingBSTV #development
- Refinement-Based Development of Timed Systems (JB, PB, KS, LT, JV), pp. 69–83.