谷 昇 | 静岡県公立大学法人 静岡県立大学
スポンサーリンク
概要
論文 | ランダム
- Well-Structuredワークフローネットの並列度を計算するための最長パスに着目したヒューリスティックアルゴリズム(グラフ,ペトリネット,ニューラルネット及び一般)
- モデル検査ツールSPINによるワークフローネットの健全性の判定について(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- D-3-2 割り込みシステムに対するモデル検査ツールSPINを用いたハングアップの検証(D-3.ソフトウェアサイエンス,一般講演)
- A-12-5 モデル検査ツールSPINによるacyclic ACWFネットの健全性の検証について(A-12.コンカレント工学,一般講演)
- 農林水産省:戸別所得補償に5618億円--7.5%増の2兆7518億円 (特集 民主党政権と地方財政) -- (2010年度予算概算要求をよむ)