文献
J-GLOBAL ID:202202220074758208
整理番号:22A0795901
安全臨界システムのためのシーケンス図の形式検証一貫性【JST・京大機械翻訳】
Formally verifying consistency of sequence diagrams for safety critical systems
著者 (6件):
Chen Xiaohong
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China)
,
Liu Qianqian
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China)
,
Mallet Frederic
(Universite Cote d’Azur, CNRS, Inria, I3S, France)
,
Li Qin
(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China)
,
Cai Shubin
(College of Computer Science and Software Engineering, Shenzhen University, China)
,
Jin Zhi
(School of Computer Science, Peking University, Beijing, China)
資料名:
Science of Computer Programming
(Science of Computer Programming)
巻:
216
ページ:
Null
発行年:
2022年
JST資料番号:
H0806A
ISSN:
0167-6423
CODEN:
SCPGD4
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)