HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
线性时序逻辑论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
基于嵌入式可信平台的运行时监控方法
第44-51页
关键词: 可信计算 运行时监控 嵌入式系统 线性时序逻辑
2017年第10期
《网络与信息安全学报》
基于STPA的潜艇鱼雷发射控制系统安全性分析
第3208-3216页
关键词: 发射控制 致因分析 xstampp
2019年第12期
《系统工程理论与实践》
具有模糊时态的广义可能性
线性时序逻辑
的模型检测
第2971-2977页
关键词: 模糊时态 可能性性质 线性时序逻辑 时间复杂度 阈值模型检测
2017年第12期
《电子学报》
LTL在STP轨迹分析中的应用
第4-6页
关键词: 线性时序逻辑 无线调车机车信号和监控 轨迹分析 运行日志
2018年第08期
《铁道通信信号》
基于STPA方法的平交道口安全需求分析
第84-90页
关键词: 平交道口 系统理论过程分析 安全分析 线性时序逻辑 xstampp软件
2018年第02期
《北京交通大学学报·社会科学版》
多核模型检测工具CTAV的实现与优化
第176-181页
关键词: 时间自动机 线性时序逻辑 多核并行模型检测 符号化状态
2018年第09期
《计算机系统应用》
某类有界时序Petri网的原型网形式的转化
第1-4页
关键词: petri网 线性时序逻辑 语言描述能力 控制器
2005年第Z1期
《系统仿真学报》
软件体系结构动态特征建模与验证
第347-350页
关键词: 软件体系结构 线性时序逻辑 模型验证
2005年第04期
《西安交通大学学报》
程序时序属性的自动测试
第132-134页
关键词: 测试预言 线性时序逻辑 fsa ltl 状态自动机 反应式系统
2004年第06期
《计算机科学》
软件构架动态行为建模与检测
第2018-2024页
关键词: 软件构架 线性时序逻辑 模型检测
2005年第11期
《计算机研究与发展》
基于
线性时序逻辑
的移动端快递派送路径规划
第544-553页
关键词: 快递派送 路径规划 移动端
2017年第06期
《高技术通讯》
基于
线性时序逻辑
的制卡流水线控制系统建模研究
第83-85页
关键词: 形式语义 多工位 建模 线性时序逻辑
2017年第05期
《数字技术与应用》
线性时序逻辑
公式Xp模型检测的DNA计算方法
第553-558页
关键词: 模型检测 线性时序逻辑 dna计算 粘贴自动机
2017年第03期
《小型微型计算机系统》
基于DNA计算的
线性时序逻辑
模型检测方法
第2578-2597页
关键词: 模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机 有穷状态自动机 dna计算
2016年第12期
《计算机学报》
业务流程的形式化设计与验证
第1147-1153页
关键词: 业务流程 确定有限自动机 模型检测 线性时序逻辑
2016年第11期
《北京理工大学学报·社会科学版》
模型精化过程中模型间一致性检测研究
第1-7页
关键词: 模型精化 模型检测 一致性检测 属性抽取 线性时序逻辑
2016年第11期
《计算机应用与软件》
基于LTL语义的可达性控制器合成工具
第22-28页
关键词: 时间博弈自动机 控制器合成 符号化方法
2016年第11期
《计算机系统应用》
面向移动应用软件信息泄露的模型检测研究
第2324-2343页
关键词: 模型检测 移动应用软件 信息泄露 线性时序逻辑 漏洞检测
2016年第11期
《计算机学报》
一种基于活性顺序图的运行时验证研究
第137-141页
关键词: 活性顺序图 线性时序逻辑 重写逻辑 运行时验证
2016年第08期
《计算机科学》
UML2.0的形式化语义研究
第39-43页
关键词: 线性时序逻辑 形式化语义 顺序图 状态图
2007年第03期
《南京邮电大学学报·自然科学版》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学