文献
J-GLOBAL ID:201902269969464779
整理番号:19A0705645
Event-Bによるタスクレベルタイミング制約のモデリングのためのパターン【JST・京大機械翻訳】
Patterns for Modeling Task-Level Timing Constraints with Event-B
著者 (2件):
Fu Chunyan
(College of Computer Science and Technology, Zhejiang University, Hangzhou, Zhejiang Province, China)
,
Zheng Kougen
(College of Computer Science and Technology, Zhejiang University, Hangzhou, Zhejiang Province, China)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2018
号:
ICSESS
ページ:
260-266
発行年:
2018年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)