Chương trình theo bprocessor.sf.net

Bộ xử lý B sẽ làm mới mô hình xây dựng kỹ thuật số bằng cách thực hiện mô hình B dựa trên việc chia nhỏ không gian dự án trong không gian chức năng và xây dựng được kết nối một mô hình với khả năng năng động và khả năng chi t