{"id":235,"date":"2019-10-17T20:11:02","date_gmt":"2019-10-18T01:11:02","guid":{"rendered":"http:\/\/multitude.net\/?page_id=235"},"modified":"2023-07-24T13:37:06","modified_gmt":"2023-07-24T18:37:06","slug":"faq","status":"publish","type":"page","link":"https:\/\/multitude.net\/faq\/","title":{"rendered":"Publications"},"content":{"rendered":"\n<p><strong>BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software<\/strong>  NFM 2013<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software NFM 2013<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_coblocks_attr":"","_coblocks_dimensions":"","_coblocks_responsive_height":"","_coblocks_accordion_ie_support":"","footnotes":""},"_links":{"self":[{"href":"https:\/\/multitude.net\/wp-json\/wp\/v2\/pages\/235"}],"collection":[{"href":"https:\/\/multitude.net\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/multitude.net\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/multitude.net\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/multitude.net\/wp-json\/wp\/v2\/comments?post=235"}],"version-history":[{"count":6,"href":"https:\/\/multitude.net\/wp-json\/wp\/v2\/pages\/235\/revisions"}],"predecessor-version":[{"id":508,"href":"https:\/\/multitude.net\/wp-json\/wp\/v2\/pages\/235\/revisions\/508"}],"wp:attachment":[{"href":"https:\/\/multitude.net\/wp-json\/wp\/v2\/media?parent=235"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}