Presentation | 2019-03-14 Specification description of real-time multitask systems by the OTS/CafeOBJ method Shuki Higashi, Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | |
Paper # | MSS2018-83 |
Date of Issue | 2019-03-07 (MSS) |
Conference Information | |
Committee | NLP / MSS |
---|---|
Conference Date | 2019/3/14(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Bunkyo Camp., Univ. of Fukui |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | SICE-DES, IEICE-MSS, IEICE-NLP, Work In Progress, and etc. |
Chair | Norikazu Takahashi(Okayama Univ.) / Morikazu Nakamura(Univ. of Ryukyus) |
Vice Chair | Hiroaki Kurokawa(Tokyo Univ. of Tech.) / Shigemasa Takai(Osaka Univ.) |
Secretary | Hiroaki Kurokawa(Hiroshima Inst. of Tech.) / Shigemasa Takai(Nippon Inst. of Tech.) |
Assistant | Masayuki Kimura(Kyoto Univ.) / Yutaka Shimada(Saitama Univ.) / Hideki Kinjo(Okinawa Univ.) |
Paper Information | |
Registration To | Technical Committee on Nonlinear Problems / Technical Committee on Mathematical Systems Science and its applications |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Specification description of real-time multitask systems by the OTS/CafeOBJ method |
Sub Title (in English) | |
Keyword(1) | |
1st Author's Name | Shuki Higashi |
1st Author's Affiliation | Toyama Prefectural University(Toyama Pref. Univ.) |
2nd Author's Name | Masaki Nakamura |
2nd Author's Affiliation | Toyama Prefectural University(Toyama Pref. Univ.) |
3rd Author's Name | Kazutoshi Sakakibara |
3rd Author's Affiliation | Toyama Prefectural University(Toyama Pref. Univ.) |
4th Author's Name | Kazuhiro Ogata |
4th Author's Affiliation | Japan Advanced Institute of Science and Technology(JAIST) |
Date | 2019-03-14 |
Paper # | MSS2018-83 |
Volume (vol) | vol.118 |
Number (no) | MSS-499 |
Page | pp.pp.13-18(MSS), |
#Pages | 6 |
Date of Issue | 2019-03-07 (MSS) |