Sasaki Yasushi | 1) Graduate Inst. Of Ferrous Technol. (gift) Pohang Univ. Of Sci. And Technol. (postech)
スポンサーリンク
概要
- 同名の論文著者
- 1) Graduate Inst. Of Ferrous Technol. (gift) Pohang Univ. Of Sci. And Technol. (postech)の論文著者
論文 | ランダム
- 形式検証技術の数理 : 安心・安全なシステム構築に向けて
- カラードペトリネットによるワークフローシステムのモデル化と検証
- 有限時間区間に対するハイブリッドシステムの離散抽象化
- 離散状態の流体化によるシステム検証(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析 (第21回 回路とシステム軽井沢ワークショップ論文集) -- (ネットとシステム)