×

找到6个软件包（结果1-6）

引文 按字母顺序

SimPhy公司

10篇文献引用(2016–2023)
软件作者： Mallo，D。；De Oliveira Martins，L。；D.波萨达。
相关软件： 不可撤销；ASTRID公司；ASTRAL-II…
主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）

AADL公司

引用于3份文件(2012–2016)
软件作者： Kyungmin Bae、Peterlveczky、JoséMeseguer
相关软件： 电子LOTOS；GRL；LNT2LOTOS…
主要字段： 计算机科学（68-XX）

第8轮

2份文件引用(2005–2009)
软件作者： M.桑德森。
相关软件： Seq-Gen；穷人*；RIATA-HGT…
主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）

分布式抄送

1份文件引用(2010)
软件作者： 马丁·普尔
相关软件： 杰克；Metis_；布吉…
主要字段： 计算机科学（68-XX）

项目管理咨询公司

1份文件引用(2001)
软件作者： 西蒙·默克、肯·拉森、亨利克·赖夫·安徒生、林格比·丹马克、彼得·塞斯托夫特
相关软件： 洛托斯；酯类
主要字段： 计算机科学（68-XX）

施耐德时钟同步

1份文件引用(2007)
软件作者： 达米安·巴索蒂
相关软件： Yices；时钟同步；存档正式证据…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段