作为讨论使用B方法进行计算机系统规范和开发的讨论组，即BUG邮件列表，主要在法国使用形式化B方法开发安全关键铁路软件的背景下，但对任何在B方法方面有研究、教学或工业兴趣的人开放；启动B方法的标准化进程。
B形式化方法用户组（BUG）于1994年10月在巴黎由法国国家运输与安全研究所创立。该组织作为使用B方法进行计算机系统规范的讨论组，特别针对法国安全关键铁路软件开发。
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
暂无出版物数据
暂无会议数据
暂无关系数据
成立于1994年10月，巴黎（法国），由法国国家运输与安全研究所（INRETS）创立。
B形式化方法用户组 · 一次付费，永久查看