Kobeissi Elodie について
LURPA, ENS Cachan, Univ. Paris-Sud, Universite Paris-Saclay, F-94235 Cachan, France について
Piriou Pierre-Yves について
Electricite de France, R&D, 78400 Chatou, France について
Faure Jean-Marc について
LURPA, ENS Cachan, Univ. Paris-Sud, Supmeca, Univ. Paris-Saclay, 94235 Cachan, France について
IFAC PapersOnLine について
意味論 について
ダイナミックモデル について
モデリング について
待機冗長 について
安全解析 について
Markov過程 について
モデルベース について
形式的検証 について
再構成可能システム について
モデルベース安全性解析/評価 について
形式的検証 について
動的特性 について
一般化BDMP について
安定性 について
計算ツリー論理 について
計算理論 について
言語プロセッサ について
システムモデル について
修理 について
再構成可能なシステム について
安全性解析 について
モデル について
形式的検証 について