×

从仿真模型到使用紧急和松弛的混合自动机。 (英语) Zbl 1366.68148号

第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。287-296(2016年)。

MSC公司:

第68季度第45季度 形式语言和自动机
60年第68季度 规范和验证(程序逻辑、模型检查等)
68岁20岁 模拟(MSC2010)
93A30型 系统数学建模(MSC2010)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。