文献
J-GLOBAL ID:202002243444426747
整理番号:20A0438640
カラーペトリネットを用いたSystemJ GALSシステムの形式的モデリングと解析に向けて【JST・京大機械翻訳】
Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets
著者 (3件):
Zhang Weiyi
(The University of Auckland,Department of Electrical and Computer Engineering,Auckland,New Zealand)
,
Salcic Zoran
(The University of Auckland,Department of Electrical and Computer Engineering,Auckland,New Zealand)
,
Malik Avinash
(The University of Auckland,Department of Electrical and Computer Engineering,Auckland,New Zealand)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2019
号:
INDIN
ページ:
152-159
発行年:
2019年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)