José Luiz Vargas de Mendonça

MARVeLusは、サイバー物理システムの安全性を高めるために、検証と実装をつなげるよ。