论文信息 - Truth Tables to Binary Decision Diagrams - 字舞流文

Truth Tables to Binary Decision Diagrams

Georg Hinkel | Antonio García-Domínguez | A. García-Domínguez | Georg Hinkel

[1] Manuel Wimmer,et al. The Class Responsibility Assignment Case , 2016, TTC@STAF.

[2] Thomas Buchmann,et al. The Families to Persons Case , 2017, TTC@STAF.

[3] Georg Hinkel. The TTC 2017 Outage System Case for Incremental Model Views , 2017, TTC@STAF.

[4] Uwe Aßmann,et al. Quality-based Software-Selection and Hardware-Mapping as Model Transformation Problem , 2018, TTC@STAF.

[5] Georg Hinkel. The TTC 2018 Social Media Case , 2018, TTC@STAF.