M语言

作品数：19被引量：35H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王英春徐鑫郑盛索继东蒙海英更多>>
相关机构：南京航空航天大学大连海事大学大连理工大学杨凌职业技术学院更多>>
相关期刊：《洁净与空调技术》《计算机光盘软件与应用》《池州学院学报》《科学技术与工程》更多>>
相关基金：陕西省自然科学基金国家高技术研究发展计划上海第二工业大学校基金中国航空科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机光盘软件与应用x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式化CHAM语言的软件设计辅助工具
《计算机光盘软件与应用》2011年第8期133-135,共3页崔耕第 崔光霁 
化学抽象机（Chemical Abstract Machine）是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型。它借用化学反应的隐喻，通过化学中分子和化学反应的概念和抽象机模型的特点来描述系统状态的动态变化，但复杂的形式和缺乏工具...
关键词：统一建模语言 化学抽象机 状态图 形式化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部