LIPACZEWSKI Michael について
Otto-von-Guericke Univ. Magdeburg, Computer Systems in Engineering, Magdeburg, DEU について
ORTMEIER Frank について
Otto-von-Guericke Univ. Magdeburg, Computer Systems in Engineering, Magdeburg, DEU について
PROSVIRNOVA Tatiana について
LIX - Ecole Polytechnique, route de Saclay, 91128 Palaiseau cedex, FRA について
RAUZY Antoine について
LIX - Ecole Polytechnique, route de Saclay, 91128 Palaiseau cedex, FRA について
STRUCK Simon について
Otto-von-Guericke Univ. Magdeburg, Computer Systems in Engineering, Magdeburg, DEU について
Reliability Engineering & System Safety について
安全解析 について
システム記述言語 について
モデリング について
知識ベース について
応用向き言語 について
形式的手法【計算機】 について
事例研究 について
システムモデル について
システム解析 について
安全性 について
オートマトン について
システム信頼度 について
モデルベース解析 について
モデリング言語 について
知識表現言語 について
システム信頼性 について
安全管理 について
応用プログラミング言語 について
安全解析 について
モデリング について
形式 について