Travelled to:1 × Finland
1 × Italy
1 × The Netherlands
Collaborated with:R.F.Paige H.Tian A.Bosser
Talks about:multiplay (1) behaviour (1) support (1) graphic (1) method (1) formal (1) detect (1) design (1) notat (1) event (1)
Person: Phillip J. Brooke
DBLP: Brooke:Phillip_J=
Contributed to:
201220052002Wrote 3 papers:
- IFM-2012-TianBB #behaviour #detection #game studies #multi
- Behaviour-Based Cheat Detection in Multiplayer Games with Event-B (HT, PJB, AGB), pp. 206–220.
- IFM-2005-PaigeB #agile #formal method
- Agile Formal Method Engineering (RFP, PJB), pp. 109–128.
- IFM-2002-BrookeP #csp #design #visual notation
- The Design of a Tool-Supported Graphical Notation for Timed CSP (PJB, RFP), pp. 299–318.