首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
课 件
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
课件
知识库
所有学科
法学
药学
文学
教育学
心理学
艺术学
统计学
公共管理
工商管理
中国语言
临床医学
机械工程
应用经济学
土木建筑工程
电子科学与技术
生物医学工程
新闻学与传播学
信息科学与系统科学
计算机科学技术
信息与通信工程
管理科学与工程
控制科学与技术
人力资源开发管理
图书馆、情报与档案管理
标题
作者
关键词
摘要
正文
单位
网址
任意词
理学
>>>
信息科学与系统科学
>>>
信息科学与系统科学基础学科
系统学
控制理论
系统评估与可行性分析
系统工程方法论
系统工程
信息科学秘系统科学其他学科
搜索结果:
1-1
共查到
“
信息科学与系统科学 π演算
”
相关记录1条 . 查询时间(0.049 秒)
一种基于
π演算
的行为建模形式化方法
人的行为建模
形式化方法
π演算
π-BFMBM
2009/9/27
根据人的行为建模形式化方法需求, 针对直接应用
π演算
形式化建模人的行为所存在的不足, 尝试以
π演算
为基础扩展定义了一种人的行为建模形式化方法π-BFMBM(π-Based Formal Method of Behavioral Modeling); 并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方法. 研究表明,相比于
π演算
, π-BFMBM方法能够为人的行...
存档文本
存档附件
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...