Travelled to:1 × Italy
1 × Vietnam
Collaborated with:T.S.Hoang J.Abrial D.A.Basin K.Desai N.Sato K.Miyazaki
Talks about:event (2) support (1) pattern (1) generat (1) tool (1) code (1)
Person: Andreas Fürst
DBLP: F=uuml=rst:Andreas
Contributed to:
2014
2009Wrote 2 papers:
- IFM-2014-FurstHBDSM #code generation
- Code Generation for Event-B (AF, TSH, DAB, KD, NS, KM), pp. 323–338.
- SEFM-2009-HoangFA #tool support
- Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.