项目描述 ：
First level of the Event-B specification of the HIMACF model (with role-based access control)

高级语言：

项目主页：

项目地址: git://github.com/17451k/base-model.git

创建时间： 2018-11-09T15:36:42Z
项目社区：https://github.com/17451k/base-model
开源协议：Apache License 2.0
下载