文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Valéria Maria Barros de Andrade
发表
Introducing probabilities in Statecharts to specify reactive systems for performance analysis
Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho, Valéria Maria Barros de Andrade, 2006, Comput. Oper. Res..