Formulation of Homeostasis by Realisability on Linear Temporal Logic

論文・著書情報

タイトル

和文:
英文:	Formulation of Homeostasis by Realisability on Linear Temporal Logic

著者

和文:	伊藤宗平, 萩原茂樹, 米崎直樹.
英文:	Sohei Ito, Shigeki Hagihara, Naoki Yonezaki.

言語

English

掲載誌/書名

和文:
英文:	Biomedical Engineering Systems and Technologies,, Communications in Computer and Information Science

巻, 号, ページ

Vol. 511 pp. 149-164

出版年月

2016年1月

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文:

DOI