MISC

2019年3月14日

OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述 (システム数理と応用)

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
  • 東 周輝
  • ,
  • 中村 正樹
  • ,
  • 榊原 一紀
  • ,
  • 緒方 和博

118
499
開始ページ
13
終了ページ
18
記述言語
日本語
掲載種別
出版者・発行元
電子情報通信学会

リンク情報
CiNii Articles
http://ci.nii.ac.jp/naid/40021865532
URL
http://id.ndl.go.jp/bib/029630382
ID情報
  • ISSN : 0913-5685
  • CiNii Articles ID : 40021865532

エクスポート
BibTeX RIS