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

InterAVT 2019 Welcome to InterAVT 2019
Committee Member in Organizing Committee within the InterAVT-track
MeTRiD 2019 Committee Member in Program Committee within the MeTRiD-track
Show activities from other conferences

ETAPS 2019-profile
View general profile