×

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

丽贝卡

8份文件引用(2010–2022)
软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔
相关软件: Uppaal;甲酚;定时丽贝卡…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

定时丽贝卡

3份文件引用(2016–2020)
软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。
相关软件: 丽贝卡;Uppaal;旋转…
主要字段: 计算机科学(68-XX)

韦丽贝卡

1份文件引用(2016)
软件作者: 贝纳斯·优素菲(Behnaz Yousefi)、法特梅·加塞米(Fatemeh Ghassemi)
相关软件: mCRL;AODV;ACTLW…
主要字段: 计算机科学(68-XX)

筛选结果依据…

主字段