Formative System Engineering パラメートリックモデル検査に関する研究 時間モデル検査 リアルタイムシステムを時間変数付きの状態遷移機械でモデル化 し、システムの振る舞いの正しさを自動的に検証する手法 正しくない場合
© Copyright 2024 ExpyDoc
