• 高阶逻辑论文-赵春娜,陈大力

    高阶逻辑论文-赵春娜,陈大力

    导读:本文包含了高阶逻辑论文开题报告文献综述及选题提纲参考文献,主要关键词:分数阶PI控制器,形式化验证,定理证明,HOL4高阶逻辑论文文献综述赵春娜,陈大力[1](2019)...
  • 微内核文件系统论文-钱振江,唐洪英,李康杰,黄皓,宋方敏

    微内核文件系统论文-钱振江,唐洪英,李康杰,黄皓,宋方敏

    导读:本文包含了微内核文件系统论文开题报告文献综述及选题提纲参考文献,主要关键词:文件系统,微内核架构,形式化设计,形式化验证微内核文件系统论文文献综述钱振江,唐洪英,李康杰,...
  • 需求验证论文-胡军,张维珺,李宛倩

    需求验证论文-胡军,张维珺,李宛倩

    导读:本文包含了需求验证论文开题报告文献综述及选题提纲参考文献,主要关键词:MBSE,自动飞行控制系统(AFCS),形式化验证,RSML~(-e,)需求验证论文文献综述胡军,张...
  • 软件过程建模语言论文-刘金卓,白天罡,于倩,王炜,代飞

    软件过程建模语言论文-刘金卓,白天罡,于倩,王炜,代飞

    导读:本文包含了软件过程建模语言论文开题报告文献综述及选题提纲参考文献,主要关键词:软件演化过程,形式化验证,软件演化过程建模语言,模型检测软件过程建模语言论文文献综述刘金卓,...