Closed V-AS closed 1 month ago
MIS
Section 4
You should say this is a python dictionary in this case. Add the definition of "model" in Notation .
Section 6
This is a behaviour-hiding model not a hardware-hiding model Make the function output unambiguous
Change 'System Interface Module' to a behaviour-hiding module. All the above feedback has been addressed in commit 2ba21e3
MIS
Section 4
You should say this is a python dictionary in this case. Add the definition of "model" in Notation .
Section 6
This is a behaviour-hiding model not a hardware-hiding model Make the function output unambiguous