SHML: Stochastic Hybrid Modeling Language for CPS Behavior.

Dehui Du, Tong Guo, Yao Wang

Browse the full APSEC paper archive.