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

Michaël Leuschel

heinrich heine university dusseldorf

32H指数
346论文数
4.7K被引数
收录论文 5
发表时间
logo
Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems承诺驱动建模：面向 cyber-physical systems 的结构化建模方法
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
PREAI
errSchaber, Felix; Mashkoor, Atif; Leuschel, Michael
err分享
err收藏
Case Study: Safety Controller for Autonomous Driving on Highways案例研究：高速公路自动驾驶安全控制器
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errLeuschel, Michael; Vu, Fabian; Rutenkolk, Kristin
err分享
err收藏
Failure Divergence Refinement for Event-BFailure Divergence Refinement for Event-B Event-B的失败分歧精化
errTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
err2026-01-01
err0
PREAI
errStock, Sebastian; Leuschel, Michael; Mashkoor, Atif
err分享
err收藏
Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron基于Schematron的铁路信号数据的自动化语义验证
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errWunsch, Susanne; Jaekel, Birgit; Lehnert, Martin; Klaus, Christoph; Gruteser, Jan; Leuschel, Michael
err分享
err收藏
Internal and External Performance Fuzzing of Well-Defined Constraints for the B Method针对B方法中良好定义约束条件的内部与外部性能模糊测试
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2025-12-01
err0
PREAI
errDunkelau, Jannik; Leuschel, Michael
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Atif Mashkoor
H 指数: 17 · 论文数: 138
F
Fabian Vu
H 指数: 6 · 论文数: 16
J
Jannik Dunkelau
H 指数: 5 · 论文数: 17
S
Sebastian Stock
H 指数: 4 · 论文数: 20
B
Birgit Jaekel
H 指数: 3 · 论文数: 8
查看更多