David A. Anisi

この論文は、モデルチェックを使って溶接ロボットの同期を改善することについて話してるよ。