7 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach +1
Formal modeling of cyber-physical systems (CPS) is hard, because they pose the double challenge of combined discrete-continuous dynamics and concurrent behavior. Existing formal sp…