位置：成果数据库 > 著作 > 著作详情页
Property-preserving Petri net process algebra in software engineering
  • 国际标准书号：978-981-4324-28-1
  • 所属机构名称：哈尔滨工业大学
  • 时间：2012
  • 页码：306
  • 成果类型：著作
  • 出版社：World Scientific Publishing
  • 相关项目：多域交互环境下RBAC安全策略形式化设计
作者： Hejiao Huang|Li Jiao|To Yat Chueng|Wai Ming Mak|
同著作项目
多域交互环境下RBAC安全策略形式化设计
期刊论文 15 会议论文 11 著作 1
同项目著作