ETAPS 2019 (series) / Stylianos Basagiannis
![Stylianos Basagiannis](https://conf.researchr.org/getProfileImage/stylianosbasagiannis/0f66139c-053c-4335-9f74-2d41dbbbf5de/small.jpg?1711555051000)
Registered user since Mon 15 Oct 2018
Name:Stylianos Basagiannis
Bio:
Principal Research Engineer
Affiliation:United Technologies Research centre
Personal website: http://www.utrc.utc.com
Research interests:Cyber-Physical systems, Model-based design, Formal Methods, Cyber-Security, System safety and assurance
Contributions
ETAPS 2019-profile
View general profile
View general profile