Publications

SUMMARY

ClearSy Publications
Program Committees
ClearSy Employee Publications

ClearSy Publications - Denis SABATIER

2008

• Denis Sabatier (ClearSy) - Brice Dellandrea (Thales), David Chemouil (CNES)
  FDIR Strategy Validation with the B Method
  DASIA 2008
  Download

2005

• D. Sabatier, G. Hacken, S. Georgiadis, E. Cutright, N. Gahly, N Khalil
  'Safe Software' Need Not Be an Oxymoron
  CBTC NY
  Access to article