LIENS


LIENS À PROPOS DE LA MÉTHODE B


pictos-telecharger2

Tous nos liens concernant la Méthode B :
via les sites ClearSy, sites projet et sites B.

SITES CLEARSY
Visiter les liens ci-dessous

> ATELIER B
> BRAMA
> CLEARSY
> COMPOSYS
> FERSIL

SITES PROJET
Visiter les liens ci-dessous

> B : une méthode de développement de logiciels sûrs – Loïc Pelhate
>
B projects in the world
>
Computer safety, reliability, and security – Francesca Saglietti
>
Formal specification : a roadmap – Axel Va Lamsweerde

SITES B
Visiter les liens ci-dessous

> Conférence ERTS 2012
> Méthode B (Wikipédia)
> Preuves formelles pour la ligne 7 de New York City Transit (Flushing), projet de modernisation
> SITE B Grenoble