ETAPS 2019 (series) / Stylianos Basagiannis
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