当前位置: 首页 电子通信 电子信息 基于Petri网模型检验的安全关键软件需求验证

基于Petri网模型检验的安全关键软件需求验证

收藏
  • 大小：1.64 MB
  • 语言：中文版
  • 格式：PDF文档
  • 类别：电子信息
关键词：验证   基于   模型   检验   软件

资源简介

基于Petri网模型检验的安全关键软件需求验证
  • 资料为PDF文档格式.
  • 本文档关键词:验证,基于,模型,检验,软件

    • 下载地址

    点击进入下载地址列表