Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ivan Kurtev
conf.researchr.org general profile
ESEC/FSE 2018 profile
MODELS 2021 profile
Not registered as user yet
Name:
Ivan Kurtev
Affiliation:
Altran Netherlands
Contributions
MODELS 2021
Author of [T2] Modeling and checking state-based component interfaces with CommaSuite within the Tutorials-track
ESEC/FSE 2018
Author of AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning within the Demonstrations-track
Share
x
Mon 6 Feb 13:21