GHEITH Osama | Nephrology Unit, Urology and Nephrology Center, Mansoura University
スポンサーリンク
概要
論文 | ランダム
- B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
- SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査
- UML/OCLに記述された時間QoSの階層的検証手法の提案
- 制約オートマトンを用いたソフトウェア・デザインの記述法