你在这里： 主页 › 团队 › 塞尔吉奥·费奥·阿雷尼斯

塞尔吉奥·费奥·阿雷尼斯

 

研究兴趣

嵌入式系统验证，时间触发协议验证，实时系统，程序验证，程序静态分析。

 

项目

 

出版物

咨询时间

    请联系我预约。

    学生项目和论文

    如果你有一个有趣的话题并想找一个顾问，请随时问我。