GSoC 2020
Detecting Model Inconsistencies in 4diac Models with OCL
Project details
Contributor
Sándor Bácsi
Mentors
Martin Melik Merkumians, Alois Zoitl
Technologies
Not listed in the archive
Contributor
Sándor Bácsi
Mentors
Martin Melik Merkumians, Alois Zoitl
Not listed in the archive