From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT

von Wu,, Lei Bu, Jiawan Wang, Yuming
Veröffentlicht in SETSS (5. : 2019 : Chongqing) Engineering trustworthy software systems (2020)