Flow*: An Analyzer for Non-linear Hybrid Systems 论文

2013Lecture notes in computer science引用 520

Formal Methods in VerificationNumerical Methods and AlgorithmsReal-time simulation and control systems

Numerical Methods and Algorithms Formal Methods in Verification Real-time simulation and control systems

相关技术:Formal Methods in Verification Numerical Methods and Algorithms

3

作者

2

相关技术

0

相关事件

0

相关文章

详细信息

发表期刊/会议: Lecture notes in computer science
发表日期: 2013-01-01
发表年份: 2013

关键词

Formal Methods in VerificationNumerical Methods and AlgorithmsReal-time simulation and control systems

作者查看全部 (3)

Xin Chen

Sriram Sankaranarayanan

Erika Ábrahám

相关技术查看全部 (2)

Formal Methods in Verification Numerical Methods and Algorithms

相关事件

暂无数据

相关文章

暂无数据