{"id":357,"date":"2019-09-01T08:14:55","date_gmt":"2019-09-01T08:14:55","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?p=357"},"modified":"2023-02-03T15:34:04","modified_gmt":"2023-02-03T14:34:04","slug":"bosch-fbk-collaboration","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/projects\/bosch-fbk-collaboration\/","title":{"rendered":"Bosch-FBK collaboration"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;section&#8221; _builder_version=&#8221;3.22&#8243;][et_pb_row admin_label=&#8221;row&#8221; _builder_version=&#8221;3.25&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;3.25&#8243; custom_padding=&#8221;|||&#8221; custom_padding__hover=&#8221;|||&#8221;][et_pb_text admin_label=&#8221;Text&#8221; _builder_version=&#8221;3.27.4&#8243; background_size=&#8221;initial&#8221; background_position=&#8221;top_left&#8221; background_repeat=&#8221;repeat&#8221;]<\/p>\n\n\n<p>A joint scientific study, funded by Bosch, will investigate the application of safety contracts and safety assessment techniques based on formal methods to the design process of Bosch with the goal of demonstrating their usefulness and suitability in the automotive domain.<\/p>\n\n\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>","protected":false},"excerpt":{"rendered":"<p>A joint scientific study, funded by Bosch, will investigate the application of safety contracts and safety assessment techniques based on formal methods to the design process of Bosch with the goal of demonstrating their usefulness and suitability in the automotive domain.<\/p>\n","protected":false},"author":1,"featured_media":350,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"<!-- wp:paragraph -->\n<p>A joint scientific study, funded by Bosch, will investigate the application of safety contracts and safety assessment techniques based on formal methods to the design process of Bosch with the goal of demonstrating their usefulness and suitability in the automotive domain.<\/p>\n<!-- \/wp:paragraph -->","_et_gb_content_width":"","footnotes":""},"categories":[3],"tags":[],"class_list":["post-357","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-projects","et-has-post-format-content","et_post_format-et-post-format-standard"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/357","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=357"}],"version-history":[{"count":13,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/357\/revisions"}],"predecessor-version":[{"id":7035,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/357\/revisions\/7035"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media\/350"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=357"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=357"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=357"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}