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

Toshiaki Aoki

japan advanced institute of science & technology (jaist)

12H指数
144论文数
556被引数
收录论文 9
发表时间
logo
Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking通过在线模型检查提升自动驾驶决策安全性
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errTran, Duong Dinh; Hasegawa, Akira; Riviere, Peter; Tomita, Takashi; Aoki, Toshiaki
err分享
err收藏
A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework事件B中BBSL的推理与显式代数理论：EB4BBSL框架
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errRiviere, Peter; Tran, Duong Dinh; Tomita, Takashi; Aoki, Toshiaki
err分享
err收藏
Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems基于规范的自动驾驶系统图像识别性能测试
errIEEE ACCESS
IF3.6
err2025-01-01
err0
errOAAI
errTanaka, Kento; Aoki, Toshiaki; Tomita, Takashi; Kawakami, Daisuke; Chida, Nobuo
err分享
err收藏
Compliance SSI System Property Set to Laws, Regulations, and Technical Standards
errIEEE ACCESS
IF3.6
err2022-01-01
err1
errOAAI
errPattiyanon, Charnon; Aoki, Toshiaki
err分享
err收藏
Multiple conformance to hybrid-automata-modelled requirements for detecting indoor temperature anomalies
errINDOOR AND BUILT ENVIRONMENT
IF2.9
err2020-08-09
err0
PREAI
errYang, Zhengguo; Aoki, Toshiaki; Tan, Yasuo
err分享
err收藏
Model checking of in-vehicle networking systems with CAN and FlexRay
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2020-03-01
err8
PREAI
errGuo, Xiaoyun; Aoki, Toshiaki; Lin, Hsin-Hung
err分享
err收藏
A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX
errJOURNAL OF INFORMATION SECURITY AND APPLICATIONS
IF3.7
err2016-12-01
err1
PREAI
errZhang, Min; Aoki, Toshiaki; He, Yueying
err分享
err收藏
Association of the antagonism of von Willebrand factor but not fibrinogen by platelet αIIbβ3 antagonists with prolongation of bleeding time
errJOURNAL OF THROMBOSIS AND HAEMOSTASIS
IF5
err2005-10-01
err4
errOAAI
errAoki, T; Tomiyama, Y; Honda, S; Mihara, K; Yamanaka, T; Okubo, M; Moriguchi, A; Mutoh, S
err分享
err收藏
The anti-platelet and anti-thrombotic effects of FK633, a peptide-mimetic GPIIb/IIIa antagonist
errTHROMBOSIS RESEARCH
IF3.4
err1996-02-01
err33
PREAI
errAoki, T; Cox, D; Senzaki, K; Seki, J; Tanaka, A; Takasugi, H; Motoyama, Y
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Y
Yoshiaki Tomiyama
H 指数: 57 · 论文数: 394
D
Dermot Cox
H 指数: 42 · 论文数: 158
T
Toshio Yamanaka
H 指数: 38 · 论文数: 454
S
Seitaro Mutoh
H 指数: 34 · 论文数: 179
张敏 封面图
张敏 (Min Zhang)
H 指数: 29 · 论文数: 508
查看更多