{"id":432,"date":"2021-03-25T00:10:30","date_gmt":"2021-03-24T22:10:30","guid":{"rendered":"https:\/\/members.loria.fr\/Mery\/?page_id=432"},"modified":"2021-03-25T00:37:52","modified_gmt":"2021-03-24T22:37:52","slug":"documents-and-models","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/Mery\/documents-and-models\/","title":{"rendered":"Documents and Models"},"content":{"rendered":"<h4>Documents<\/h4>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/Mery\/wp-content\/blogs.dir\/137\/files\/sites\/137\/2021\/03\/malgpartie1.pdf\">Mod\u00e9lisation et v\u00e9rification des syst\u00e8mes<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/Mery\/wp-content\/blogs.dir\/137\/files\/sites\/137\/2021\/03\/malgpartie2.pdf\">Event-B<\/a><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h4>Models<\/h4>\n<ul>\n<li>The Sliding Window Protocol in Event-B \u00a0is \u00a0described in the \u00a0 HAL <a href=\"https:\/\/hal.inria.fr\/hal-01933971\">document<\/a>\u00a0 \u00a0and the Event-B archive is \u00a0at the following link.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Documents<\/p>\n<ul>\n<li><a href=\"http:\/\/members.loria.fr\/Mery\/wp-content\/blogs.dir\/137\/files\/sites\/137\/2021\/03\/malgpartie1.pdf\">Mod\u00e9lisation et v\u00e9rification des syst\u00e8mes<\/a><\/li>\n<li><a href=\"http:\/\/members.loria.fr\/Mery\/wp-content\/blogs.dir\/137\/files\/sites\/137\/2021\/03\/malgpartie2.pdf\">Event-B<\/a><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>Models<\/p>\n<ul>\n<li>The Sliding Window Protocol in Event-B \u00a0is \u00a0described in the \u00a0 HAL <a href=\"https:\/\/hal.inria.fr\/hal-01933971\">document<\/a>\u00a0 \u00a0and the Event-B archive is \u00a0at the following link.<\/li>\n<\/ul>\n","protected":false},"author":120,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-432","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/432","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/users\/120"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/comments?post=432"}],"version-history":[{"count":6,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/432\/revisions"}],"predecessor-version":[{"id":443,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/432\/revisions\/443"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/media?parent=432"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}