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