MISC

本文へのリンクあり

2020年10月28日

OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証 (システム数理と応用)

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

東周輝
中村正樹
榊原一紀
緒方和博

巻: 119
号: 470
開始ページ: 25
終了ページ: 30
記述言語: 日本語
掲載種別
出版者・発行元: 電子情報通信学会

リンク情報

DBLP: https://dblp.uni-trier.de/rec/journals/corr/abs-2010-15280
CiNii Articles: http://ci.nii.ac.jp/naid/40022208383
arXiv: http://arxiv.org/abs/arXiv:2010.15280
URL: http://arxiv.org/abs/2010.15280v1
URL: http://arxiv.org/pdf/2010.15280v1 本文へのリンクあり

ID情報

ISSN : 0913-5685
DBLP ID : journals/corr/abs-2010-15280
CiNii Articles ID : 40022208383
arXiv ID : arXiv:2010.15280

エクスポート: BibTeX RIS

MISCリストへ