中国ビジネスサバイバル パートナー探しが最重要 (何とかなる! 中国語--13億人とのコミュニケーション)

スポンサーリンク

概要

• 論文の詳細を見る
• 2011-02-26

論文 | ランダム

• SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
• 実行履歴に基づくアクセス制御付きプログラムのモデル検査
• UML/OCLに記述された時間QoSの階層的検証手法の提案
• 制約オートマトンを用いたソフトウェア・デザインの記述法
• 多値モデル検査を利用したモデル化の誤りの発見

もっと見る

スポンサーリンク