Brama available in beta 1 version Computer science
Brama is now available in version beta 1 (v0.0.10). It is fully functional and available with on-line documentation. You can […]
Composys, version 1.6 Computer science
The version 1.6 of Composys, available for Linux and Windows, will be available for the end of June 2007, accompanied […]
B4free as a free-fo-all tool Computer science
We are pleased to inform you that CLEARSY is now diffusing B4free as a free-for-all tool. Restricted to academic users […]
RODIN: a three year Project Computer science
The RODIN project (development of an open platform to design systems that tolerate errors) has begun. The objective of this […]
B4Free Computer science
B4free, the development environment for B models, is available to the scientific community: B4Free.com