We are pleased to inform you that CLEARSY is now diffusing B4free as a free-for-all tool. Restricted to academic users […]

The RODIN project (development of an open platform to design systems that tolerate errors) has begun. The objective of this […]

B4free, the development environment for B models, is available to the scientific community: B4Free.com