位置：成果数据库 > 会议 > 会议详情页
A Transformation From PPTL to S1S
  • 所属机构名称：西安电子科技大学
  • 会议名称：Proceedings of COCOA 2010, Part 2, LNCS6509
  • 成果类型：会议
  • 会场：Hawaii
  • 相关项目：组合Web服务的建模与验证
作者： Zhenhua Duan|Cong Tian|
同会议论文项目
组合Web服务的建模与验证
期刊论文 43 会议论文 21 专利 2 著作 2
同项目会议论文
An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems
Non-Functional Requirements Elicitation and Incorporation into Class Diagrams
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic
Alternating Interval Based Temporal Logics
A Model-driven Approach for Dynamic Web Service Composition
UML Statecharts' PTL Formal Semantics
A Model-driven Approach for Generating Business Processes and Process Interaction Semantics
A Proof System for Projection Temporal Logic
Verification of Use Case with Petri Nets in Requirement Analysis
Verification of Hardware Designs: A Case Study
Model Checking Multirate Hybrid System with Restricted Convex Polyhedron
Making Abstraction Refinement Efficient in Model Checking
A Semantic Model for Many-core Parallel Computing
Generalized Russian Cards Problem
An Executable Concurrent Model for OWL-S Process Models
An Improved Decision Procedure for Propositional Projection Temporal Logics with Star
Specification and Verification of UML2.0 Sequence Diagrams using Event Deterministic Finite Automata
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates
Public Communication Based on Russian Cards Protocol: A Case Study
ESHMP: A Stall-Timed-Based Scheduling for Performance Heterogenous Muticore Systems