MATEESCU Radu について
Inria Grenoble Rhone-Alpes and LIG - CONVECS Team, FRA について
SALAUEN Gwen について
Grenoble INP, FRA について
SALAUEN Gwen について
Inria Grenoble Rhone-Alpes and LIG - CONVECS Team, FRA について
Lecture Notes in Computer Science について
応用 について
円周率 について
計算 について
モデル検査 について
モデル変換 について