注册
登录
通讯技术
Uppaal_GearControlSystem
返回
项目作者:
LovelyBuggies
项目描述 :
Formal Design and Analysis of Gear Control System: an Industrial Case Study using UPPAAL. 👨🏻💻
高级语言:
q
项目主页:
https://link.springer.com/content/pdf/10.1007/BFb0054178.pdf
项目地址:
git://github.com/LovelyBuggies/Uppaal_GearControlSystem.git
创建时间:
2018-10-01T00:38:07Z
项目社区:
https://github.com/LovelyBuggies/Uppaal_GearControlSystem
开源协议:
MIT License
下载
ScientificReport_1647614677358.pdf
GearControl_1647614678548.pdf
Paper_1647614678557.pdf
Modeling Gear Control System using UPPAAL_1647614677708.pptx