{"id":476,"date":"2016-12-15T18:30:00","date_gmt":"2016-12-15T18:30:00","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?p=476"},"modified":"2021-02-15T14:21:40","modified_gmt":"2021-02-15T14:21:40","slug":"open-workshop-on-model-based-design-and-verification-of-critical-systems","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/news-and-events\/open-workshop-on-model-based-design-and-verification-of-critical-systems\/","title":{"rendered":"Open Workshop on Model-Based Design and Verification of Critical Systems"},"content":{"rendered":"\n[et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.8.2&#8243; _module_preset=&#8221;default&#8221;][\/et_pb_section]\n","protected":false},"excerpt":{"rendered":"<p>The workshop showcased different model-based techniques for the design and verification of critical systems. The international speakers, invited as committee members for the PhD defense of Benjamin Bittner, gave insights into different ways how model-based design and verification technology can improve an engineer&#8217;s understanding of and confidence in a given design model of a complex system.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"categories":[9],"tags":[],"class_list":["post-476","post","type-post","status-publish","format-standard","hentry","category-news-and-events","et-doesnt-have-format-content","et_post_format-et-post-format-standard"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/476","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/comments?post=476"}],"version-history":[{"count":10,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/476\/revisions"}],"predecessor-version":[{"id":1521,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/476\/revisions\/1521"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=476"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=476"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=476"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}