張 漢明 | 財団法人九州システム情報技術研究所:奈良先端科学技術大学院大学
スポンサーリンク
概要
関連著者
-
張 漢明
財団法人九州システム情報技術研究所:奈良先端科学技術大学院大学
-
張 漢明
(財)九州システム情報技術研究所
-
荒木 啓二郎
九州大学大学院システム情報科学研究院
-
荒木 啓二郎
(財)九州システム情報技術研究所(ISIT)
-
田中 俊行
九州大学大学院システム情報科学研究科
-
George Chris
国連大学国際ソフトウェア技術研究所
-
田中 俊行
九州大学大学院システム情報科学研究科:(財)九州システム情報技術研究所
-
荒木 啓二郎
九州大学
-
張 漢明
奈良先端科学技術大学院大学情報科学研究科
-
荒木 啓二郎
財団法人九州システム情報技術研究所
-
張 漢明
九州システム情報技術研究所
-
河野 勝利
奈良先端科学技術大学院大学
-
河野 勝利
奈良先端科学技術大学院大学:(株)野村総合研究所
著作論文
- SSLプロトコルの形式仕様記述と検証
- モデル形成支援のための仕様記述変換技術
- 操作仕様記述におけるシステム状態への制約に関する考察
- SSLプロトコルの形式仕様記述と検証
- モデル形成支援のための仕様記述変換技術
- 形式的手法に基づいた構造化ダイアグラムの一貫性検証について (21世紀のソフトウェア工学)