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

Thai Son Hoang

university of southampton

19H指数
132论文数
1.6K被引数
收录论文 3
发表时间
logo
Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis基于UML-B形式化分析为CHERI能力硬件开发安全异常恢复机制
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errSnook, Colin; Fathabadi, Asieh Salehi; Hoang, Thai Son; Thorburn, Robert; Butler, Michael; Aniello, Leonardo; Sassone, Vladimiro
err分享
err收藏
Scalable reaction network modeling with automatic validation of consistency in Event-B
errSCIENTIFIC REPORTS
IF3.9
err2022-01-25
err1
errOAAI
errSanwal, Usman; Hoang, Thai Son; Petre, Luigia; Petre, Ion
err分享
err收藏
Domain-specific scenarios for refinement-based methods基于细化的方法的特定领域场景
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2021-01-01
err12
errOAAI
errSnook, Colin; Thai Son Hoang; Dghaym, Dana; Fathabadi, Asieh Salehi; Butler, Michael
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Michael Butler
H 指数: 40 · 论文数: 435
V
Vladimiro Sassone
H 指数: 36 · 论文数: 243
I
Ion Petre
H 指数: 22 · 论文数: 196
C
Colin Snook
H 指数: 19 · 论文数: 114
L
Leonardo Aniello
H 指数: 18 · 论文数: 66
查看更多