位置：成果数据库 > 期刊 > 期刊详情页
Formal behavior modeling: Business processes based on cloud platform
  • ISSN号：1796-2056
  • 期刊名称：Journal of Networks
  • 时间：2013
  • 页码：1417-1424
  • 相关项目：基于计算博弈论的空间优化研究
作者： Huang, Bo|Xu, Yong|Yuan, Mengting|Wu, Guoqing|
同期刊论文项目
基于计算博弈论的空间优化研究
期刊论文 17 会议论文 5
同项目期刊论文
Method of tailoring program model according to requirement model
MODELING TO COMPILING : DESIGN AND IMPLEMENTATION FOR WIRELESS SENSOR NETWORK SYSTEM.
基于函数调用图的静态数据分配
基于行为模型的需求可视化研究
Field-sensitive function pointer analysis using field propagation for state graph extraction
Program Monitoring Based on Automaton Simulation
代码/需求行为差异检测
基于场景行为的需求建模及质量特性检测
面向软件行为的需求模型可视化研究
面向软件行为的多视点需求建模方法
基于线索抽象语法树的程序依赖图自动生成算法