Kurihara Kensuke | Department of Bioorganization Research, Okazaki Institute for Integrative Bioscience, National Institutes of Natural Sciences
スポンサーリンク
概要
- 同名の論文著者
- Department of Bioorganization Research, Okazaki Institute for Integrative Bioscience, National Institutes of Natural Sciencesの論文著者
論文 | ランダム
- 自己合成法を利用した再帰プログラムの情報流解析法について
- Hardware/Software Co-design実験によるシステムアーキテクチャ設計学習プログラム(一般セッション2:モデル検査とコデザイン)
- SystemCを用いたハードウェア/ソフトウェア協調設計方式とその評価(一般セッション2:モデル検査とコデザイン)
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- モデル検査技術によるソフトウェア検証