Login / Signup

A requirements description language pLSC for probabilistic branches and three-stage events.

Jinyu KaiHuaikou MiaoHonghao Gao
Published in: SNPD (2014)
Keyphrases