首页| 行业标准| 论文文档| 电子资料| 图纸模型
购买积分 购买会员 激活码充值

您现在的位置是:团子下载站 > 机械论文 > 基于时序描述逻辑的UML状态图形式化验证

基于时序描述逻辑的UML状态图形式化验证

  • 资源大小:260.49 KB
  • 上传时间:2021-04-28
  • 下载次数:0次
  • 浏览次数:20次
  • 资源积分:1积分
  • 标      签: 自动化论文

资 源 简 介

  • 基于时序描述逻辑的UML状态图形式化验证,资料为PDF文档格式.
  • 本文档关键词:时序,验证,基于,描述,逻辑
  • VIP VIP