ASPIER公司 6篇文献引用(2011–2023) 软件作者: Chaki,S;达塔,A。 相关软件: ProVerify;NAXOS;EasyCrypt… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
UML秒 2份文件引用(2014–2018) 软件作者: Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 相关软件: 跳跃;TGV;LUSTRE… 主要字段: 计算机科学(68-XX)
JavaSPI(JavaSPI) 1份文件引用(2018) 软件作者: 里卡多·西斯托;比塔萨·科佩特(Bettasa Copet),皮尔吉乌塞佩(Piergiuseppe);阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂 相关软件: MJ;AGVI;Bouncy Castle… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)