ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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

Show activities from other conferences

ETAPS 2019-profile
View general profile