首页
|
帮助
|
阅读器下载
|
插件下载
|
登录
中国博士学位论文全文数据库
基于Event-B的混合系统形式化:理论与实践
【作者】
苏雯
;
【导师】
朱惠彪;
【作者基本信息】
华东师范大学
, 计算机应用技术, 2013, 博士