科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
P
Parasara Sridhar Duggirala
indian statistical institute kolkata
18
H指数
71
论文数
1.1K
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems
弱实时控制系统安全且稳定的调度综合的正式方法
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF
2.6
2025-09-01
0
PRE
AI
Banerjee, Debarpita; Duggirala, Parasara Sridhar; Ghosh, Bineet; Ghosh, Sumana
分享
收藏
Extracting counterexamples induced by safety violation in linear hybrid systems
AUTOMATICA
IF
5.9
2020-07-01
3
OA
AI
Goyal, Manish; Duggirala, Parasara Sridhar
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
B
B. K. Ghosh
H 指数: 16 · 论文数: 82
S
Sumana Ghosh
H 指数: 6 · 论文数: 43
M
Manish Goyal
H 指数: 3 · 论文数: 14
B
Banerjee, Debarpita
H 指数: 0 · 论文数: 1
已加载全部