位置：成果数据库 > 会议 > 会议详情页
状态图到PTL 形式规范的转化
  • 所属机构名称：西安电子科技大学
  • 会议名称：国内会议，口头报告，第三届全国软件与应用学术会议论文集(《计算机工程与科学》，vol28， No A2， p122-125)， Sep. 2006
  • 成果类型：会议
  • 相关项目：混合系统的形式验证
同会议论文项目
混合系统的形式验证
期刊论文 11 会议论文 21 获奖 1 著作 3
同项目会议论文
Semantics of Framed Temporal L
HP2P: A Hybrid Hierarchical P2
Synthesis of Elementary Net Sy
Implementing Pointer in Tempor
Transform from Models to Servi
划分和时延驱动的动态可重构FPGA
An Interpreter for Framed Temp
Utilizing Fuzzy Petri Net for
Building Business Processes or
Incorporating Clusters into Hy
Semantic Matching of Web Servi
Requirements Engineering Proce
Automating Web Service Composi
A Comprehensive Framework for
Symbolic?Reachability?Analysis
Implementing Chord for HP2P Ne
Decidability of Propositional
Transforming OWL-S Process Mod
Operational Semantics of Frame
Semantic Matching of Web Servi