位置：成果数据库 > 会议 > 会议详情页
HP2P: A Hybrid Hierarchical P2
  • 所属机构名称：西安电子科技大学
  • 成果类型：会议
  • 相关项目：混合系统的形式验证
同会议论文项目
混合系统的形式验证
期刊论文 11 会议论文 21 获奖 1 著作 3
同项目会议论文
Semantics of Framed Temporal L
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
状态图到PTL 形式规范的转化
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