等离子体

此软件的关键字
zbMATH参考文献(参考
4篇文章
参考)
Gerhold,Marcus;Stoelinga,Mariëlle:基于模型的概率系统测试(2018) D'Argenio,Pedro R.;Hartmanns,Arnd;Legay,Axel;Sedwards,Sean:概率时间自动机最优调度的统计近似(2016) 基于赛莱尔的抽样调查;赛里尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔-赛尔 Jegourel,Cyrille;Legay,Axel;Sedwards,Sean:高性能统计模型检验平台——PLASMA(2012)