×

找到2个软件包(结果1-2)

TimeNET(时间网)

28篇文献引用(1995–2022)
软件作者: 德语,Reinhard;克里斯蒂安·凯林(Christian Kelling);阿明·齐默尔曼(Armin Zimmermann);贡特霍梅尔
相关软件: GreatSPN;SPNP;GreatSPN 1.7…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

伽利略

10篇文献引用(2000–2017)
软件作者: Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit
相关软件: NuSMV;DFTCalc;DIFtree…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

筛选结果依据…