{"id":341,"date":"2018-11-06T00:57:01","date_gmt":"2018-11-06T00:57:01","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=341"},"modified":"2018-12-10T03:17:17","modified_gmt":"2018-12-10T03:17:17","slug":"study-3-property-based-model-slicing-for-sos-verification","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/studies\/study-3-property-based-model-slicing-for-sos-verification\/","title":{"rendered":"[Study 3] Property-based Model Slicing for Efficient SoS Verification"},"content":{"rendered":"

See <SoS Goal Model Slicing>\u00a0<\/a><\/li>\n
See <SoS Simulation Model Slicing><\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"
Research Topics See <SoS Goal Model Slicing>\u00a0 See <SoS Simulation Model Slicing><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":333,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/341"}],"collection":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/comments?post=341"}],"version-history":[{"count":5,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/341\/revisions"}],"predecessor-version":[{"id":633,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/341\/revisions\/633"}],"up":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/333"}],"wp:attachment":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/media?parent=341"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}