| 查看: 199 | 回复: 0 | |||
[交流]
有最近研究时态逻辑和模型检测技术的同行吗？
|
|
最近研究模型检测技术，遇到些问题，希望高手指点。 [ 发自手机版 http://muchong.com/3g ] |
回复此楼» 猜你喜欢
计算机、0854电子信息（085401-058412）调剂
已经有4人回复
-
基金申报
已经有3人回复
-
国自然申请面上模板最新2026版出了吗？
已经有9人回复
-
溴的反应液脱色
已经有6人回复
-
纳米粒子粒径的测量
已经有7人回复
-
常年博士招收(双一流，工科)
已经有4人回复
-
推荐一本书
已经有10人回复
-
参与限项
已经有5人回复
-
有没有人能给点建议
已经有5人回复
-
假如你的研究生提出不合理要求
已经有12人回复