十八世紀末ウィーンの出版文化--ゲオルク・フィリップ・ヴーヒェラーの出版活動を例にして

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

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

もっと見る

スポンサーリンク