登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于MARTE的时序需求建模与分析验证技术研究
出版社：中国科学院国家空间科学中心
出版年：2022
作者：徐嘉
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于形式化的需求自动建模与健壮性验证技术研究
  • 作者：王一华
  • 出版社：中国科学院国家空间科学中心
  • 出版年：2022
...

基于区间时序逻辑的验证技术研究与应用
  • 作者：杨潇潇
  • 出版社：中国科学院
  • 出版年：2012
...

要素禀赋理论在中国的验证：基于行业的时序横截面模型分析
  • 作者：阎娟
  • 出版年：2008
...

基于TL-EPVM模型的加密协议分析基于时序逻辑的加密协议描述与验证
  • 作者：肖得琴
  • 出版社：中国科学院
  • 出版年：1999
...

基于BPEL的业务流程建模验证研究
  • 作者：钱厚荣
  • 出版年：2011
...

XSM的静态分析和验证技术研究
  • 作者：邓程
  • 出版社：中国科学院
  • 出版年：2012