文献
J-GLOBAL ID:201902269075935354
整理番号:19A0889228
OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述
Specification description and of real-time multitask systems by the OTS/CafeOBJ method
著者 (4件):
東周輝
(富山県大)
,
中村正樹
(富山県大)
,
榊原一紀
(富山県大)
,
緒方和博
(北陸先端科学技術大学院大)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
118
号:
499(MSS2018 81-95)
ページ:
13-18
発行年:
2019年03月07日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)