缪炜恺_华东师范大学

您当前浏览器版本过低，为了不影响您的使用，建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器，更换浏览器后使用更流畅！（注意！双核浏览器请切换为极速模式）

400-607-9388

缪炜恺
所属院校: 华东师范大学
所属院系: 软件工程学院
职称:
导师类型:
招生专业:
研究领域: 软件形式化工程方法，软件需求建模与分析，软件测试等

个人简介

科研项目与人才计划： 1. 2014年入选上海市青年科技英才扬帆计划。 2. 国家自然科学基金青年基金项目“嵌入式控制软件的形式化规格说明构建的工程方法” 3. 华东师范大学-卡斯柯信号有限公司“基于半形式化需求的测试用例的自动生成与结果分析” 4. 华东师范大学-卡斯柯信号有限公司“列车车载控制软件建模与分析方法及支撑工具研究”

以上内容源自网络公开信息，仅作学术交流之目的，非为商业用途。
如若涉及侵权事宜，请及时与我们联络，我们将即刻修正或删除相关内容。