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:

Research interests: Cyber-Physical systems, Model-based design, Formal Methods, Cyber-Security, System safety and assurance


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