Registered user since Tue 16 Jun 2015
Name:Vasileios Koutavas
Contributions
| SEAMS 2018 | Compositional Verification of Self-Adaptive Cyber-Physical Systems | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
* ICSE 2018 *-profile
View general profile
View general profile