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