Session details: Modeling and Verification

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3258032 ◽

2018 ◽

Author(s):

Dejan Nickovic

Download Full-text