logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
P

Paula Herber

university of munster

12H指数
88论文数
508被引数
收录论文 5
发表时间
logo
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata建模不确定性：从Simulink到随机混合自动机
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errBlohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula
err分享
err收藏
Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System智能能源控制系统中的电池安全使用与电网便利性
errPERFORMANCE EVALUATION METHODOLOGIES AND TOOLS, VALUETOOLS 2024
IF0
err2026-01-01
err0
PREAI
errAdelt, Julius; Herber, Paula; Hurink, Johann; Niehage, Mathis; Remke, Anne; Willemsen, Lisa
err分享
err收藏
Introduction to the Special Collection from iFM 2023iFM 2023特刊引言
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2025-12-01
err0
PREAI
errHerber, Paula; Wijs, Anton
err分享
err收藏
Research software from the integrated Formal Methods (iFM) conference 2023
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2025-10-01
err0
PREAI
errHerber, Paula; Osama, Muhammad; Wijs, Anton
err分享
err收藏
Deductive Verification of Cooperative RTOS Applications合作RTOS应用的演绎验证
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errTasche, Philip; Herber, Paula; Huisman, Marieke
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Marieke Huisman
H 指数: 28 · 论文数: 257
A
Anton Wijs
H 指数: 21 · 论文数: 149
A
Anne Remke
H 指数: 18 · 论文数: 132
M
Muhammad Osama
H 指数: 9 · 论文数: 28
M
Mathis Niehage
H 指数: 6 · 论文数: 13
查看更多