论文研究-一种基于π演算的行为建模形式化方法.pdf

所需积分/C币:7 2019-09-20 10:40:57 700KB .PDF
收藏 收藏
举报

论文研究-一种基于π演算的行为建模形式化方法.pdf,  根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π-BFMBM(π-Based Formal Method of Behavioral Modeling); 并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方

...展开详情
试读 11P 论文研究-一种基于π演算的行为建模形式化方法.pdf
立即下载 低至0.43元/次 身份认证VIP会员低至7折
    抢沙发
    一个资源只可评论一次,评论内容不能少于5个字
    weixin_38743602 欢迎大家使用并留下宝贵意见
    2019-09-20
    • 至尊王者

      成功上传501个资源即可获取
    关注 私信 TA的资源
    上传资源赚积分,得勋章
    最新推荐
    论文研究-一种基于π演算的行为建模形式化方法.pdf 7积分/C币 立即下载
    1/11
    论文研究-一种基于π演算的行为建模形式化方法.pdf第1页
    论文研究-一种基于π演算的行为建模形式化方法.pdf第2页
    论文研究-一种基于π演算的行为建模形式化方法.pdf第3页
    论文研究-一种基于π演算的行为建模形式化方法.pdf第4页

    试读已结束,剩余7页未读...

    7积分/C币 立即下载 >