search

gbuehler / 4

0 stars 0 forks source link

mulitiplicity inconsistency for SE_ATBlock #191

Open gbuehler opened 3 years ago

gbuehler commented 3 years ago

Justification: In Table B.17, line 102, the obligation/condition and max occurrence of SE_ATBlock is not consistent with the Figure 21. Proposal: The inconsistency should be solved.