{"id":7817,"date":"2026-05-28T16:13:41","date_gmt":"2026-05-28T14:13:41","guid":{"rendered":"https:\/\/www.esme.fr\/recherche\/?post_type=journal_article&p=7817"},"modified":"2026-06-01T12:37:09","modified_gmt":"2026-06-01T10:37:09","slug":"a-correct-by-construction-approach-to-functional-scalability-of-iot-service-compositions-using-event-b","status":"publish","type":"journal_article","link":"https:\/\/www.esme.fr\/recherche\/journal-article\/a-correct-by-construction-approach-to-functional-scalability-of-iot-service-compositions-using-event-b\/","title":{"rendered":"A Correct by Construction Approach to Functional Scalability of IoT Service Compositions using Event-B,"},"content":{"rendered":"","protected":false},"author":13,"template":"","journal_article_cat":[221],"class_list":["post-7817","journal_article","type-journal_article","status-publish","hentry","journal_article_cat-conferences"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/journal_article\/7817","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/journal_article"}],"about":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/types\/journal_article"}],"author":[{"embeddable":true,"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/users\/13"}],"wp:attachment":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/media?parent=7817"}],"wp:term":[{"taxonomy":"journal_article_cat","embeddable":true,"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/journal_article_cat?post=7817"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}