咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 106 篇 期刊文献
  • 96 篇 学位论文
  • 31 篇 专利
  • 16 篇 会议
  • 2 篇 成果

馆藏范围

  • 251 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 209 篇 工学
    • 114 篇 计算机科学与技术...
    • 71 篇 软件工程
    • 42 篇 交通运输工程
    • 28 篇 机械工程
    • 22 篇 网络空间安全
    • 19 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 10 篇 仪器科学与技术
    • 7 篇 航空宇航科学与技...
    • 3 篇 电气工程
    • 3 篇 电子科学与技术（可...
    • 3 篇 公安技术
    • 1 篇 光学工程
    • 1 篇 动力工程及工程热...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 地质资源与地质工...
    • 1 篇 矿业工程
    • 1 篇 船舶与海洋工程
  • 40 篇 管理学
    • 36 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 5 篇 理学
    • 3 篇 系统科学
    • 2 篇 数学
    • 1 篇 地理学
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 军事学
  • 1 篇 经济学
    • 1 篇 理论经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 公安学
  • 1 篇 艺术学

主题

  • 220 篇 形式化建模
  • 22 篇 形式化验证
  • 13 篇 petri网
  • 11 篇 模型检测
  • 8 篇 进程代数
  • 8 篇 时间自动机
  • 8 篇 uppaal
  • 7 篇 cpn
  • 7 篇 有色petri网
  • 6 篇 形式化方法
  • 4 篇 可生存性
  • 4 篇 车车通信
  • 4 篇 安全改进
  • 4 篇 安全评估
  • 4 篇 着色petri网
  • 4 篇 定理证明
  • 4 篇 msvl
  • 3 篇 量化分析
  • 3 篇 列控系统
  • 3 篇 uml

机构

  • 15 篇 西安电子科技大学
  • 13 篇 北京交通大学
  • 11 篇 华东师范大学
  • 9 篇 同济大学
  • 8 篇 中国科学技术大学
  • 7 篇 兰州交通大学
  • 7 篇 天津大学
  • 7 篇 哈尔滨理工大学
  • 6 篇 西北工业大学
  • 6 篇 哈尔滨师范大学
  • 6 篇 哈尔滨工程大学
  • 5 篇 东南大学
  • 5 篇 清华大学
  • 5 篇 西南交通大学
  • 5 篇 合肥工业大学
  • 4 篇 首都师范大学
  • 4 篇 桂林电子科技大学
  • 4 篇 兰州理工大学
  • 4 篇 北京大学
  • 4 篇 西北大学

作者

  • 9 篇 段振华
  • 8 篇 田聪
  • 8 篇 王小兵
  • 8 篇 王健
  • 6 篇 赵国生
  • 5 篇 张杰
  • 3 篇 徐中伟
  • 3 篇 wang jian
  • 3 篇 张亮
  • 3 篇 黄科满
  • 3 篇 郝莉莉
  • 3 篇 杨勇
  • 3 篇 关永
  • 3 篇 唐涛
  • 3 篇 杨惠珍
  • 3 篇 李晓红
  • 3 篇 范玉顺
  • 3 篇 李晓娟
  • 3 篇 zhao guosheng
  • 2 篇 李扬

语言

  • 251 篇 中文
检索条件"主题词=形式化建模"
共 251 条 记 录，以下是251-260 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于PEPA的信息系统可生存性形式化模型
收藏
分享
引用
价值工程 2010年 第27期29卷 166-166页
作者： 赵国生 刘海龙 苏岩 哈尔滨师范大学网络中心 哈尔滨150001
本文提出了一种基于PEPA的可生存性形式化建模方法,对攻击者和信息系统的交互行为进行精简抽象,构建面向系统可生存性的状态转换图。在此基础上,建立可量化的生存性形式化模型,为可生存系统的设计提供理论指导。
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共26页 <<  < 17 18 19 20 21 22 23 24 25 26 >  >>
回到顶部
执行限定条件