LINKS


CLEARSY WEBSITES


pictos-telecharger2

All of our links regarding B Method :
throughout Clearsy Websites & B Websites

CLEARSY WEBSITES
Check the following links :

> ATELIER B
> BRAMA
> CLEARSY
> COMPOSYS
> FERSIL

PROJECTS WEBSITES
Check the following links :

> 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

B SITES
Check the following links :

> 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