×

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

洛拉

23篇文献引用(2009–2023)
软件作者: D’Angelo,B。;等。
相关软件: 蒙保利;Java-MOP;LUSTRE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

DynAlloy合金

2份文件引用(2007–2021)
软件作者: 马塞洛·弗里亚斯(Marcelo F.Frias)、胡安·加莱奥蒂(Juan P.Galeotti)、卡洛斯·洛佩斯·蓬博(Carlos López Pombo)、纳扎雷诺·阿吉雷(Nazareno Aguirre)
相关软件: MiniSat;JPF-SE;YOGI…
主要字段: 计算机科学(68-XX)

筛选结果依据…

主字段