Home |
B News |
B Method |
R&D Activities |
Formal Proof |
Publications |
Conferences |
B, the different languages |
Open Source Projects |
B Tools |
Documents |
Links |
Contact
Publications
SUMMARY
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