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