Toth Tamas について
Budapest University of Technology and Economics, Department of Measurement and Information Systems について
Hajdu Akos について
Budapest University of Technology and Economics, Department of Measurement and Information Systems について
Vorcos Andras について
Budapest University of Technology and Economics, Department of Measurement and Information Systems について
Micskei Zoltan について
Budapest University of Technology and Economics, Department of Measurement and Information Systems について
Majzik Istvan について
Budapest University of Technology and Economics, Department of Measurement and Information Systems について
IEEE Conference Proceedings について
オートマトン について
モデル検査 について
ハードウェア について
安全性 について
遷移システム について
精密化 について
適応性 について
ユースケース について
述語 について
内蔵 について
時間付きオートマトン について
制御フロー について
計算理論 について
抽象化 について
精密化 について
モデル検査 について
フレームワーク について