META MODEL = { ( 1 ) enriches Nat + Set + AttrSort + List ; strict total ; ( 2 ) sort InputEvent , SystemOp , OpSchema , OutputEvent , SystemState ...
確定! 回上一頁