位置：成果数据库 > 会议 > 会议详情页
Formal Verification of RGPS-S
  • 所属机构名称：北京交通大学
  • 会议名称：2011 International Conference on Business Computing and Global Information(ICBCGI 2011)
  • 成果类型：会议
  • 相关项目：微分半代数程序模型的等价及等价谱系
作者： Hao Yang|Jinzhao Wu|
同会议论文项目
微分半代数程序模型的等价及等价谱系
期刊论文 18 会议论文 19 著作 1
同项目会议论文
Ontology Reasoning and Services Composition Verification towards O-RGPS Requirement Meta-Model
A Semantical Model for OWL-S Based on Timed CSP
Generating Invariants for Polynomial Transition System
Correctness Verification of RGPS Process Meta-Model
A alogrithm based on the local module degree for community detection in complex networks
A Formal Method for Finite Relation Model Based on Symbolic Logic
Rough sets based on concept lattice method of filling the system risk assessment
Dynamic Evolution of Requirement Goal Deployed on Network Environment
Error Analysis of Approximate Ripple Borrow Subtractors
Formal Analysis of Stage Suspended Boom Systems with Extended Duration Calculus
Security Analysis on Internet of Things
Mapping Relational Databases into Ontologies through a Graph-based Formal Model
Approximation to Linear Algebraic Transition System
GMC: A Performance Model Checker for Concurrent Systems
Decomposition model building and Ontology Reasoning towards G-Layer of RGPS Requirement Meta-Model
On Approximate Bisimulation for Polynomial Algebraic Transition Systems
Formal Verification of RGPS-G
Polynomial process algebra