Gautam Bishnu Prasad

CodoMoはモデルチェックを効率化して、安全なドローン操作を実現するためのソフトウェア検証を行ってるよ。