Travelled to:1 × Italy
1 × The Netherlands
1 × United Kingdom
Collaborated with:H.Treharne D.Karkinsky N.Evans H.Wehrheim D.M.Williams
Talks about:properti (1) compon (1) combin (1) verif (1) state (1) refin (1) mobil (1) manag (1) event (1) chunk (1)
Person: Steve A. Schneider
DBLP: Schneider:Steve_A=
Contributed to:
201420072005Wrote 3 papers:
- IFM-2014-SchneiderTWW #ltl #refinement
- Managing LTL Properties in Event-B Refinement (SAS, HT, HW, DMW), pp. 221–237.
- IFM-2007-KarkinskyST
- Combining Mobility with State (DK, SAS, HT), pp. 373–392.
- IFM-2005-SchneiderTE #component #csp #named #verification
- Chunks: Component Verification in CSP||B (SAS, HT, NE), pp. 89–108.