线性时序逻辑论文

基于嵌入式可信平台的运行时监控方法第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期《南京邮电大学学报·自然科学版》