Yokoyama Akira | Center for Pulmonary Diseases, National Hospital Organization Tokyo National Hospital, Japan|Department of Respiratory Medicine, Graduated School of Medicine, The University of Tokyo, Japan
スポンサーリンク
概要
- Yokoyama Akiraの詳細を見る
- 同名の論文著者
- Center for Pulmonary Diseases, National Hospital Organization Tokyo National Hospital, Japan|Department of Respiratory Medicine, Graduated School of Medicine, The University of Tokyo, Japanの論文著者
論文 | ランダム
- 形式検証技術の数理 : 安心・安全なシステム構築に向けて
- カラードペトリネットによるワークフローシステムのモデル化と検証
- 有限時間区間に対するハイブリッドシステムの離散抽象化
- 離散状態の流体化によるシステム検証(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析 (第21回 回路とシステム軽井沢ワークショップ論文集) -- (ネットとシステム)