1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 嵌入式开发

基于模型检查的嵌入式软件构件化分析探究与验证.pdfVIP

  • 6
  • 0
  • 约1.64万字
  • 约 4页
  • 2019-03-15 发布于浙江
  • 举报

基于模型检查的嵌入式软件构件化分析探究与验证.pdf

    2016 年12 月15 日 现代电子技术 Dec. 2016 第39 卷第24 期 Modern Electronics Technique Vol. 39 No. 24 63 63 doi ：10.16652/j.issn. 1004⁃373x.2016.24.01

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >