位置：成果数据库 > 会议 > 会议详情页
Incorporating Clusters into Hy
  • 所属机构名称：西安电子科技大学
  • 成果类型：会议
  • 相关项目：混合系统的形式验证
作者： Ertao Lv*, Zhenhua Duan
同会议论文项目
混合系统的形式验证
期刊论文 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
状态图到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