B Site Pages
Click on the B Site logo to go back to this page
| Ce site a pour but de rassembler les principales références relatives à la méthode B, aux outils B et aux utilisateurs de B. Bien que présentant les travaux de l'équipe du LSR-IMAG à Grenoble, il est ouvert à toute équipe ou à tout industriel qui souhaite diffuser des informations intéressant la communauté. Il suffit pour cela d'envoyer un courriel au correspondant du site (indiqué ci-dessous) qui fera le nécessaire pour mettre en accès sur les pages les données transmises. Dans la mesure du possible, le site est bilingue Français / Anglais. | This site intends to gather the main references related to the B Method, B Tools and B Users. While presenting the activities of the LSR-IMAG team in Grenoble, it is open to any academic team or industrial people who wishes to diffuse useful informations for the community. For that, it is sufficient to send an email to the site webmaster (see below) who will make the data accessible on the pages. As far as possible, the pages are written both in French and in English. |
|
Ce site est maintenu par le laboratoire LSR. Prière de contacter Didier.Bert@imag.fr pour toute information. |
This site is maintained by the LSR Laboratory. Please contact Didier.Bert@imag.fr for any information. |
|
|
|