位置：成果数据库 > 期刊 > 期刊详情页
Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation
  • 期刊名称：International Journal of Software and Informatics
  • 时间：2012.3.19
  • 页码：1-31
  • 相关项目：DNA分子纳米组装体和计算机模型研究
作者： Meixia Zhu|Hanpin Wang|Xikui Liu|Xiaoqiong Zhu|
同期刊论文项目
DNA分子纳米组装体和计算机模型研究
期刊论文 37 会议论文 3 获奖 6
同项目期刊论文
Design of DNA sequences for stable DNA tile
Index for Stochastic Linear Discrete-Time Systems
A New Method for the Discovery of Essential Proteins
Stability of Nonlinear Stochastic Discrete-Time Systems
基于DNA链置换与荧光标记的0-1规划问题的计算模型
联图的关联着色
A molecular cryptography model based on structures of DNA self-assembly
DNA计算技术的发展与应用
Stochastic Linear Quadratic Optimal Control with Indefinite Control Weights and Constraint for Discr
DNA Directed Model for Shortest Superstring Problem
图的d-距离可区别关联着色
两类齿轮图的分数色数
基于图论的MPPT控制方法及仿真研究
一类θ-图的邻点可区别关联着色
Study on H-Index of Stochastic Linear Continuous-Time Systems
Infinite horizon indefinite stochastic linear quadratic control for discrete-time systems
Losslessness of Nonlinear Stochastic Discrete-Time Systems
Modified projective and modified function projective synchronization of a class of real nonlinear sy
基于核酸的信息安全技术研究现状及发展建议
基于sub-tile的对称有界DNA结构自组装及应用
一种基于RNA二级结构的信息隐藏方案
理想格上基于身份的环签名方案