文献
J-GLOBAL ID:201502203250692984
整理番号:15A1115926
時間抽象状態機械を用いたAADLモデルの検証【Powered by NICT】
Verification of AADL Models with Timed Abstract State Machines
著者 (5件):
Yang Zhibin
(Inst. de Rech. en Informatique de Toulouse, Univ. de Toulouse, France, Toulouse)
,
Hu Kai
(School of Computer Sci. and Engineering, BeiHang Univ., Beijing)
,
Zhao Yongwang
(School of Computer Sci. and Engineering, BeiHang Univ., Beijing)
,
Ma Dianfu
(School of Computer Sci. and Engineering, BeiHang Univ., Beijing)
,
Bodeveix Jean Paul
(Inst. de Rech. en Informatique de Toulouse, Univ. de Toulouse, France, Toulouse)
資料名:
Ruanjian Xuebao
(Ruanjian Xuebao)
巻:
26
号:
2
ページ:
202-222
発行年:
2015年
JST資料番号:
C2542A
ISSN:
1000-9825
CODEN:
RUXUEW
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
中国 (CHN)
言語:
中国語 (ZH)