Kanda Hiroaki | Department of Pathology, The Cancer Institute of JFCR, Japan
スポンサーリンク
概要
論文 | ランダム
- モデル検査によるUMLアクティビティ図の正当性検証(ワークショップ-Web2.0時代のビジネスモデル-)
- PetriNetによるシステム非正常系可視化の検討(グラフ,ペトリネット,ニューラルネット,及び一般)
- Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
- RA-005 Ambient Calculusによる物流システム記述に対するモデル検査(モデル・アルゴリズム・プログラミング,査読付き論文)
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)