Author:
Bouissou Olivier,Chapoutot Alexandre,Djoudi Adel
Publisher
Springer Berlin Heidelberg
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods;Journal of Automated Reasoning;2023-12-06
2. Validated B-series and Runge-Kutta pairs;Numerical Algorithms;2023-11-24
3. Set-Based B-Series;Mathematics;2022-09-02
4. Guaranteed master for interval-based cosimulation;Software and Systems Modeling;2021-01-19
5. Cosimulation-Based Control Synthesis;Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops;2021