Study on formal methods for next-generation automotive systems

下一代汽车系统的形式化方法研究

基本信息

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

DOI：
10.1109/qrs57517.2022.00050
发表时间：
2022-12
期刊：
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)
影响因子：
0
作者：
Daisuke Ishii;Takashi Tomita;Toshiaki Aoki;T. Ngo;Thi Bich Ngoc Do;Hideaki Takai
通讯作者：
Daisuke Ishii;Takashi Tomita;Toshiaki Aoki;T. Ngo;Thi Bich Ngoc Do;Hideaki Takai

车载系统开发形式化方法实践现状及问题

自主主权身份系统属性分析与强化标准法规编制

通过模型检查对文件系统进行综合鲁棒性评估

基于 SMT 的工业 Simulink 模型模型检查

DOI：
10.1007/978-3-031-17244-1_10
发表时间：
2022
期刊：
Proc. 23rd International Conference on Formal Engineering Methods (ICFEM)
影响因子：
0
作者：
Daisuke Ishii;Takashi Tomita;Toshiaki Aoki;The Quyen Ngo;Thi Bich Ngoc Do;Hideaki Takai
通讯作者：
Hideaki Takai

数据更新时间：{{ journalArticles.updateTime }}

数据更新时间：{{ monograph.updateTime }}

数据更新时间：{{ sciAawards.updateTime }}

数据更新时间：{{ conferencePapers.updateTime }}

数据更新时间：{{ patent.updateTime }}

加快基于家庭的估算中家庭初始微观数据的生成

DOI：
10.2208/jscejipm.76.5_i_425
发表时间：
2021
期刊：
Journal of Japan Society of Civil Engineers, Ser. D3 (Infrastructure Planning and Management)
影响因子：
0
作者：
An Siyi;Aoki Toshiaki;Suzuki Atsushi;的場日菜，尾崎凱，小原海翔，山口友一朗，夏目裕太，中川雅史;栗田航貴，中川雅史;阪田知彦，鈴木温，杉木直，正木俊行，田寛之
通讯作者：
阪田知彦，鈴木温，杉木直，正木俊行，田寛之

全国直辖市灾害危险区人口及设施分布变化研究

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
An Siyi;Aoki Toshiaki;Suzuki Atsushi;的場日菜，尾崎凱，小原海翔，山口友一朗，夏目裕太，中川雅史;栗田航貴，中川雅史;阪田知彦，鈴木温，杉木直，正木俊行，田寛之;田神稔・ヌウェイヌウェイゾー・鈴木温;栗田航貴，中川雅史;中森蒼介・ヌウェイヌウェイゾー・鈴木温;尾谷壮哉，鈴木一史;ヌウェイヌウェイゾー・中森蒼介・鈴木温
通讯作者：
ヌウェイヌウェイゾー・中森蒼介・鈴木温

使用时间分辨测量研究胶体悬浮液中的近红外光散射

DOI：
发表时间：
2021
期刊：
Extended abstract of NIR2021
影响因子：
0
作者：
Inoue Yuki;Fujii Hiroyuki;Nishimura Goro;Aoki Toshiaki;Kobayashi Kazumichi;Watanabe Masao
通讯作者：
Watanabe Masao

包括灾害危险区在内的居民搬迁意识地区间比较

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
An Siyi;Aoki Toshiaki;Suzuki Atsushi;的場日菜，尾崎凱，小原海翔，山口友一朗，夏目裕太，中川雅史;栗田航貴，中川雅史;阪田知彦，鈴木温，杉木直，正木俊行，田寛之;田神稔・ヌウェイヌウェイゾー・鈴木温
通讯作者：
田神稔・ヌウェイヌウェイゾー・鈴木温