Ying Yunhui について
華東師范大学計算机科学与軟件工程学院,上海200062;高可信軟件国家重点実験室(華東師范大学),上海200062 について
Zhang Min について
華東師范大学計算机科学与軟件工程学院,上海200062;高可信軟件国家重点実験室(華東師范大学),上海200062 について
Ruanjian Xuebao について
痕跡分析 について
クロック について
モデル検査 について
デッドロック について
モデリング について
言語 について
スケジューリング について
プロトタイプ について
高効率 について
ソルバ について
デッドロック検出 について
時間付きオートマトン について
状態遷移 について
リアルタイム組込みシステム について
CCSL について
SMT について
validity proving について
trace analysis について
deadlock detection について
LTL model checking について
tool について
計算機網 について
SMT について
クロック について
制約 について
言語 について
形式的手法 について
ツール について