Accueil l Actualités B l La Méthode B l Travaux R&D l Preuve Formelle l Publications
B, les différents langages  l Outils B l Documents l B Tools Forum  l Nos Liens l Contact    

Publications Méthode B et Méthodes Formelles

SOMMAIRE

Publications de Clearsy
Comités de Programmes
Publications des Collaborateurs de ClearSy

Publications des Collaborateurs de ClearSy - Denis SABATIER

1996
  • D. Sabatier, G. Hacken, S. Georgiadis, E. Cutright, N. Gahly, N Khalil
    'Safe Software' Need Not Be an Oxymoron
    CBTC NY
    Accéder à l'article

 

 

 

 

ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A
13857 AIX EN PROVENCE CEDEX 3
Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 - contact@clearsy.com