Travelled to:1 × Denmark
1 × Spain
1 × The Netherlands
Collaborated with:∅ B.Dandanell J.S.Pedersen E.Zierau D.L.Chalmers
Talks about:applic (2) rais (2) properti (1) progress (1) specifi (1) impress (1) safeti (1) experi (1) first (1) use (1)
Person: Jesper Gørtz
DBLP: G=oslash=rtz:Jesper
Contributed to:
19941993
1991Wrote 4 papers:
- FME-1994-Gortz #safety #specification
- Specifying Safety and Progress Properties with RSL (JG), pp. 567–581.
- FME-1993-DandanellGPZ #experience
- Experience from Applications of RAISE (BD, JG, JSP, EZ), pp. 52–63.
- VDME-1991-ChalmersDGPZ #using
- Using RAISE — First Impressions from the LaCoS Applications (DLC, BD, JG, JSP, EZ), pp. 645–657.