×

兹马思-数学第一资源

SReachTools:MATLAB随机可达性工具箱。(英语) Zbl 07120138
第22届ACM混合系统国际会议记录:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约,纽约:计算机械协会(ACM)。33-38(2019年)。

理学硕士:
68Q45号 形式语言与自动机
68Q60型 规范和验证(程序逻辑、模型检查等)
93C30型 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统)
PDF格式 BibTeX公司 引用
全文: 内政部