位置：成果数据库 > 期刊 > 期刊详情页
基于事件确定有限自动机的UML2.0 序列图描述与验证
  • ISSN号：1000-9825
  • 期刊名称：软件学报
  • 时间：2011
  • 页码：2625-2638
  • 相关项目：基于约束凸多面体和抽象加细技术的混合系统的模型检测
作者： 张琛|段振华|田聪|
同期刊论文项目
基于约束凸多面体和抽象加细技术的混合系统的模型检测
期刊论文 22 会议论文 4 专利 1
同项目期刊论文
Structures for reachability problems of multirate hybrid systems
Model checking Multirate Hybrid Systems with Dense Timed Interval Temporal Logic
Translating Linear Temporal Logic Formulas into Automata
Efficient and scalable scheduling for performance heterogeneous multicore systems
移动环境中的位置依赖连续轮廓查询
工作流网合成规则及其在流程设计中的应用
一个轻量的多核实时调度算法
基于枢轴选择策略的多核并行skyline算法
扩展Tempura语言统一模型检测算法
Intrusion Detection Algorithm Based on Model Checking Interval Temporal Logic
扩展命题区间时序逻辑公式可满足性判定算法
BPEL 流程建模中的交叠模式分析与转换
有向图k边导出子图的DNA粘贴算法
A Novel Algorithm for Intrusion Detection Based on RASL Model Checking
有穷时间投影时序逻辑的完备公理系统
基于ARM的卷烟32位码防伪识别系统的设计与实现
基于事件确定有限自动机的UML2．0序列图描述与验证
BPEL流程建模中的交叠模式分析与转换
一种基于区间时序逻辑模型检测的入侵检测算法(英文)
一种时间自动机时钟离散化算法
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609