依田 誠子 | 新日本非破壊検査株式会社 関東支社
スポンサーリンク
概要
論文 | ランダム
- 抑止アーク付きワークフローネットに対する健全性判定について(グラフ,べトリネット,ニューラルネット及び一般)
- B-6-49 モデル検査によるBGP経路設定の安定性評価手法(B-6.ネットワークシステム,一般セッション)
- B-022 ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証(B分野:ソフトウェア,一般論文)
- B-020 UML記述の仕様からSPINモデル検査用PROMELAモデルへの自動変換(B分野:ソフトウェア,一般論文)
- B-019 UMLモデルの振舞いのモデル検査における表現方法について(B分野:ソフトウェア,一般論文)