Author:
Bliudze Simon,Furic Sébastien
Publisher
Linköping University Electronic Press
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rigorous design of cyber-physical systems;Software & Systems Modeling;2017-12-14
2. Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point;Nonlinear Analysis: Hybrid Systems;2016-05
3. CyPhySim;Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control;2015-04-14