Sign in

MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks.

Dehui DuPing HuangKaiqiang JiangFrédéric MalletMingrui Yang
Published in: FACS (2016)
Keyphrases