上野 敏幸 | 金沢大学理工研究域 電子情報通信学系
スポンサーリンク
概要
論文 | ランダム
- ペトリネットの状態方程式の非負整数極小解の非負有理数初等解による特性化-事例集(コンカレント工学一般)
- (形式的仕様)オブジェクト指向ソフトウェアテストのためのカラーペトリネットスライシング技術(オブジェクト指向技術)
- リソース付き状態機械ワークフローネットにおける最大スループットの計算について(コンカレント工学一般)
- 可達集合が半線形集合であるペトリネットのアンフォールディング(コンカレント工学一般)
- 空調制御ネットワークにおける信号極性確定の分散アルゴリズム