文献
J-GLOBAL ID:202202280498829748
整理番号:22A1105451
VRM要求モデルのための形式的検証【JST・京大機械翻訳】
Formal Verification for VRM Requirement Models
著者 (5件):
Zhang Yang
(College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China)
,
Hu Jun
(College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China)
,
Wang Lisong
(College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China)
,
Gu Qingfan
(Department of Software, China National Aeronautic Radio Electronics Research Institute, Shanghai, China)
,
Rong Hao
(Department of Software, China National Aeronautic Radio Electronics Research Institute, Shanghai, China)
資料名:
Lecture Notes in Electrical Engineering
(Lecture Notes in Electrical Engineering)
巻:
878
ページ:
961-969
発行年:
2022年
JST資料番号:
W5070A
ISSN:
1876-1100
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)