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

基于归纳与不变量嵌入式软件模型检验研究.pdfVIP

  • 1
  • 0
  • 约9.59万字
  • 约 14页
  • 2026-09-23 发布于四川
  • 举报

基于归纳与不变量嵌入式软件模型检验研究.pdf

    使用k归纳和不变量进行嵌入式C软件模型检验

    （扩展版）｜end▁of▁sentence｜

    ∗†††

    Herbert

    Rocha、Hussama

    Ismail、Lucas

    Cordeiro

    和

    Raimundo

    Barreto｜end▁of▁sentence｜

    ∗罗

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >