Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Cristina Seceleanu

Registered user since Tue 17 Dec 2019

Name: Cristina Seceleanu

Country: Sweden

Affiliation: Mälardalen University

Personal website: http://www.es.mdh.se/staff/173-Cristina_Seceleanu

Contributions

MODELS 2020 Specification and Automated Verification of Atomic Concurrent Real-Time Transactions
Show activities from other conferences

MODELS 2020-profile
View general profile