講演名 2019-03-14
OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述
東 周輝(富山県立大), 中村 正樹(富山県立大), 榊原 一紀(富山県立大), 緒方 和博(北陸先端大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和)
抄録(英)
キーワード(和)
キーワード(英)
資料番号 MSS2018-83
発行日 2019-03-07 (MSS)

研究会情報
研究会 NLP / MSS
開催期間 2019/3/14(から2日開催)
開催地(和) 福井大学 文京キャンパス
開催地(英) Bunkyo Camp., Univ. of Fukui
テーマ(和) SICE-DES研究会,IEICE-MSS研究会,IEICE-NLP研究会の3研究会併催,一般およびWork In Progress(WIP)
テーマ(英) SICE-DES, IEICE-MSS, IEICE-NLP, Work In Progress, and etc.
委員長氏名(和) 高橋 規一(岡山大) / 名嘉村 盛和(琉球大)
委員長氏名(英) Norikazu Takahashi(Okayama Univ.) / Morikazu Nakamura(Univ. of Ryukyus)
副委員長氏名(和) 黒川 弘章(東京工科大) / 髙井 重昌(阪大)
副委員長氏名(英) Hiroaki Kurokawa(Tokyo Univ. of Tech.) / Shigemasa Takai(Osaka Univ.)
幹事氏名(和) 山内 将行(広島工大) / 木村 貴幸(日本工大) / 豊嶋 伊知郎(東芝エネルギーシステムズ) / 金澤 尚史(阪大)
幹事氏名(英) Masayuki Yamauchi(Hiroshima Inst. of Tech.) / Takayuki Kimura(Nippon Inst. of Tech.) / Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.)
幹事補佐氏名(和) 木村 真之(京大) / 島田 裕(埼玉大) / 金城 秀樹(沖縄大)
幹事補佐氏名(英) Masayuki Kimura(Kyoto Univ.) / Yutaka Shimada(Saitama Univ.) / Hideki Kinjo(Okinawa Univ.)

講演論文情報詳細
申込み研究会 Technical Committee on Nonlinear Problems / Technical Committee on Mathematical Systems Science and its applications
本文の言語 JPN
タイトル(和) OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述
サブタイトル(和)
タイトル(英) Specification description of real-time multitask systems by the OTS/CafeOBJ method
サブタイトル(和)
キーワード(1)(和/英)
第 1 著者 氏名(和/英) 東 周輝 / Shuki Higashi
第 1 著者 所属(和/英) 富山県立大学(略称:富山県立大)
Toyama Prefectural University(略称:Toyama Pref. Univ.)
第 2 著者 氏名(和/英) 中村 正樹 / Masaki Nakamura
第 2 著者 所属(和/英) 富山県立大学(略称:富山県立大)
Toyama Prefectural University(略称:Toyama Pref. Univ.)
第 3 著者 氏名(和/英) 榊原 一紀 / Kazutoshi Sakakibara
第 3 著者 所属(和/英) 富山県立大学(略称:富山県立大)
Toyama Prefectural University(略称:Toyama Pref. Univ.)
第 4 著者 氏名(和/英) 緒方 和博 / Kazuhiro Ogata
第 4 著者 所属(和/英) 北陸先端科学技術大学院大学(略称:北陸先端大)
Japan Advanced Institute of Science and Technology(略称:JAIST)
発表年月日 2019-03-14
資料番号 MSS2018-83
巻番号(vol) vol.118
号番号(no) MSS-499
ページ範囲 pp.13-18(MSS),
ページ数 6
発行日 2019-03-07 (MSS)