位置：成果数据库 > 期刊 > 期刊详情页
Refinement and verification in component based and model driven design
  • 时间：0
  • 相关项目：实代数符号计算在形式化方法中的应用
同期刊论文项目
实代数符号计算在形式化方法中的应用
期刊论文 15 会议论文 4 著作 2
同项目期刊论文
On hierarchically developing reactive systems”
Connecting algebraical and logical descriptions of concurrent systems
Refinement and composition of components in rCOS
Program verification by reduction to semi-algebraic systems solving
Model checking linear duration invariants of networks of automata
Generating Polynomial Invariants with DISCOVERER and QEPCAD
A New Method for Real Root Isolation of Univariate Polynomials.
A new method for real root isolation of univariate polynomials
Modelling with relational calculus of object and component cystems – rCOS refinement and compositio
Duration Calculus
A model of compoent-based programming
Real Solution Isolation Using Interval Arithmetic
Program verification by using DISCOVERER
Formalizing scheduling theorems using duration calculus