{"id":135,"date":"2012-11-27T11:22:29","date_gmt":"2012-11-27T10:22:29","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?page_id=135"},"modified":"2015-03-19T14:34:30","modified_gmt":"2015-03-19T13:34:30","slug":"tutorial","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/","title":{"rendered":"Tutorial"},"content":{"rendered":"<p><\/p>\n<p style=\"text-align: justify;\">To discover PLASMA Lab you can follow these tutorial . If you have any question look at the <a href=\"https:\/\/project.inria.fr\/plasma-lab\/faq\/\">FAQ<\/a> page.<\/p>\n<ul>\n<li><a href=\"http:\/\/project.inria.fr\/plasma-lab\/Download\">Installation<\/a><\/li>\n<li><a href=\"https:\/\/project.inria.fr\/plasma-lab\/open-and-edit-a-project\">Step 1<\/a>: How to open and edit a project<\/li>\n<li><a href=\"https:\/\/project.inria.fr\/plasma-lab\/how-to-simulate-a-model\/\">Step 2<\/a>: How to simulate a model<\/li>\n<li><a href=\"https:\/\/project.inria.fr\/plasma-lab\/check-a-property\/\">Step 3<\/a>: How to check a property<\/li>\n<li type=\"_moz\"><a href=\"https:\/\/project.inria.fr\/plasma-lab\/using-the-distributed-mode\">Step 4<\/a>: How to use the distributed mode<\/li>\n<li type=\"_moz\"><a href=\"https:\/\/project.inria.fr\/plasma-lab\/how-to-use-the-optimization-panel\/\">Step 5<\/a>: How to use the optimization panel<\/li>\n<\/ul>\n<p>Finally you will find specific information in the pages below:<\/p>\n<ul>\n<li><a title=\"MATLAB\/Simulink\" href=\"https:\/\/project.inria.fr\/plasma-lab\/matlabsimulink\/\">Using PLASMA Lab with MATLAB\/Simulink<\/a><\/li>\n<li><a title=\"SystemC Plugin\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/mag_manual\/\">Using PLASMA Lab with SystemC<\/a><\/li>\n<li><a title=\"IGRIDA experimentation\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/igrida-experimentation\/\">Using PLASMA Lab with IGRIDA<\/a><\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>To discover PLASMA Lab you can follow these tutorial . If you have any question look at the FAQ page. Installation Step 1: How to open and edit a project Step 2: How to simulate a model Step 3: How to check a property Step 4: How to use the\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":234,"featured_media":0,"parent":130,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-135","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/135","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/users\/234"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=135"}],"version-history":[{"count":36,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/135\/revisions"}],"predecessor-version":[{"id":1836,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/135\/revisions\/1836"}],"up":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/130"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=135"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}