搜索: 形式化 - 畅学电子网

文章资料视频课程课时学习计划项目话题小组用户

[ 文章 ] CAN总线通信控制协议的仿真及性能分析

文中在分析CAN总线通信控制协议的基础上，在MATLAB/Sinulink软件Stateflow仿真 ...

by hcay | 发表时间 2014-10-11 |2192次查看
[ 文章 ] SIP协议系统模型的形式化研究

本文总体上分析了SIP系统的主要组成，用SDL语言和MSC语言形式化地描述了SIP协议的主要系统模型 ...

by lihong | 发表时间 2015-12-16 |1689次查看
[ 文章 ] CAN总线通信控制协议的仿真与性能分析

文中在分析CAN总线通信控制协议的基础上，在MATLAB/Sinulink软件Stateflow仿真 ...

by 露水非海 | 发表时间 2016-01-21 |1316次查看
[ 文章 ] 基于UML 的嵌入式系统模型验证技术的研究

统一建模语言UML 在嵌入式系统设计建模中已经获得了广泛的认可，能对复杂嵌入式系统建模，并有很多成功 ...

by hcay | 发表时间 2014-11-01 |1130次查看