位置:成果数据库 > 著作 > 著作详情页
Diagnosis with Automata - Reasoning on Active Systems
  • 所属机构名称:浙江师范大学
  • 时间:2014
  • 成果类型:著作
  • 出版社:Spinger
  • 相关项目:离散事件系统基于模型的分布式在线诊断方法研究
同著作项目
同项目著作