Simos Gerasimou - SEAMS 2021

Write a Blog >>

Tue 18 - Fri 21 May 2021

co-located with ICSE 2021

Registered user since Fri 16 Aug 2019

Name:Simos Gerasimou

Affiliation:University of York, UK

Contributions

2021

ICSE

Fast Parametric Model Checking through Model Fragmentation

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Committee Member in Program Committee within the SEAMS 2021-track

Show activities from other conferences

ICSE 2021-profile
View general profile