Visible to the public BiblioConflict Detection Enabled

Filters: Author is Bican Xia  [Clear All Filters]
2020-10-12
Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia.  2020.  Safety verification for random ordinary differential equations. Proceedings of EMSOFT 2020: International Conference on Embedded Software.