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)…