Lahouij Aida について
Universite de Sousse, ISITCom, Hammam Sousse, Tunisia について
Hamel Lazhar について
ISIMM, Monastir University, Monastir, Tunisia について
Graiet Mohamed について
ENSAI RENNES, Bruz, France について
el Ayeb Bechir について
FSM, Monastir University, Monastir, Tunisia について
Formal Aspects of Computing について
意味論 について
資源割付 について
精密化 について
アニメーション について
不和合性 について
仕様記述言語 について
通信プロトコル について
形式的検証 について
ISP【インターネット】 について
形式的検証 について
クラウド複合サービス について
意味論的検証 について
行動検証 について
資源配分 について
Event-B について
計算機網 について
クラウド について
サービス について
検証 について
イベント について