【公開コンテンツ数】166件 【公開コンテンツの総ファイルサイズ】38.1GB
こんにちは！ ゲスト さん
プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）
2012.02.15
total views 0
限定公開期間を終了し、非公開中です。
本授業パッケージでは、プロセス代数(CSP)に基づくモデル検査ツールPAT (Process Analysis Toolkit)の基本的な使い方を理解します。第一部は、英語での講義です。
※このビデオは、2011年10月24日(月)に行われました、トップエスイー教育センターのセミナーを撮影、編集したものです。
本授業パッケージでは、プロセス代数(CSP)に基づくモデル検査ツールPAT (Process Analysis Toolkit)の基本的な使い方を理解します。第一部は、英語での講義です。
※このビデオは、2011年10月24日(月)に行われました、トップエスイー教育センターのセミナーを撮影、編集したものです。
dialog