Travelled to:1 × Canada
1 × China
1 × Norway
1 × The Netherlands
Collaborated with:H.Treharne ∅ M.J.Butler S.A.Schneider R.Laleau M.Frappier
Talks about:inform (2) properti (1) softwar (1) develop (1) control (1) barrier (1) authent (1) verifi (1) system (1) record (1)
Person: Neil Evans
DBLP: Evans:Neil
Contributed to:
20152006
2005
2004Wrote 4 papers:
- FM-2015-Evans #authentication #development
- Software Development and Authentication for Arms Control Information Barriers (NE), pp. 581–584.
- FM-2006-EvansB
- A Proposal for Records in Event-B (NE, MJB), pp. 221–235.
- IFM-2005-SchneiderTE #component #csp #named #verification
- Chunks: Component Verification in CSP||B (SAS, HT, NE), pp. 89–108.
- SEFM-2004-EvansTLF #how #information management #verification
- How to Verify Dynamic Properties of Information Systems (NE, HT, RL, MF), pp. 416–425.