
<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 6
            [url] => btceu/en/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 4
            [url] => btceu/de/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 136
            [url] => btceu/en/news/events/technical-talk-at-icfem-2016.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 7
            [url] => btceu/zh/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 23
            [url] => btceu/en/news/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 87
            [url] => btceu/en/news/events/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 85
            [url] => btceu/en/company/publications.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 24
            [url] => btceu/en/company/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 24
            [url] => btceu/en/company/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 70
            [url] => btceu/en/products/overview.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 72
            [url] => btceu/en/products/btc-embeddedplatform/targetlink.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 93
            [url] => btceu/en/products/btc-embeddedtester/code-coverage.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 94
            [url] => btceu/en/products/btc-embeddedtester/iso-26262.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 116
            [url] => btceu/en/products/btc-embeddedtester/autosar.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 126
            [url] => btceu/en/products/btc-embeddedplatform/model-checking.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 111
            [url] => btceu/en/products/btc-embeddedplatform/automation.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 70
            [url] => btceu/en/products/overview.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 71
            [url] => btceu/en/products/btc-embeddedplatform/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 38
            [url] => btceu/en/products/btc-embeddedtester-base.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 89
            [url] => btceu/en/products/btc-embeddedtester/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 90
            [url] => btceu/en/products/btc-embeddedspecifier.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 91
            [url] => btceu/en/products/btc-embeddedvalidator.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 426
            [url] => btceu/en/products/btc-requirement-observers.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 96
            [url] => btceu/en/products/videos.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 24
            [url] => btceu/en/company/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 69
            [url] => btceu/en/company/management-team.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 78
            [url] => btceu/en/company/partner.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 79
            [url] => btceu/en/company/references.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 80
            [url] => btceu/en/company/research.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 85
            [url] => btceu/en/company/publications.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 81
            [url] => btceu/en/company/career/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 161
            [url] => btceu/en/blog/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 88
            [url] => btceu/en/contact.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 123
            [url] => btceu/en/company/imprint.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 483
            [url] => btceu/en/company/privacy-policy.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!doctype html>
<html class="no-js" lang="en">
<head>
	<meta http-equiv="x-ua-compatible" content="ie=edge">
	<meta name="viewport" content="width=device-width, initial-scale=1">
  <meta name="msvalidate.01" content="6763BED67F544101141488CD446B5F53">
	
<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 136
            [url] => https://www.btc-es.de/btceu/en/news/events/technical-talk-at-icfem-2016.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 136
            [url] => /btceu/en/news/events/technical-talk-at-icfem-2016.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->
<meta charset="UTF-8">
<base href="https://www.btc-es.de">
<title>Technical Talk at ICFEM 2016 &middot; BTC ES</title>
<meta name="keywords" content="">
<meta name="description" content="November 14, 2016 BTC Embedded Systems will give a technical talk at the FM MDD (Formal Methods and Model-Drive Development) Workshop at ICFEM (International Conference ...">
<meta name="robots" content="index, follow">
<meta name="copyright" content="BTC ES">
<meta http-equiv="last-modified" content="Mon, 07 Jan 2019 23:05:48 +0100">
<link rel="canonical" href="https://www.btc-es.de/en/news/events/technical-talk-at-icfem-2016.html">

  <!-- <link href="https://fonts.googleapis.com/css?family=Raleway:400,400i,700,700i" rel="stylesheet"> -->
	<link rel="stylesheet" href="assets/cache/css/lessphp_2ff4c57d803a795739fb4376465994e5.css">
  <link rel="apple-touch-icon-precomposed" sizes="57x57" href="apple-touch-icon-57x57.png" />
  <link rel="apple-touch-icon-precomposed" sizes="114x114" href="apple-touch-icon-114x114.png" />
  <link rel="apple-touch-icon-precomposed" sizes="72x72" href="apple-touch-icon-72x72.png" />
  <link rel="apple-touch-icon-precomposed" sizes="144x144" href="apple-touch-icon-144x144.png" />
  <link rel="apple-touch-icon-precomposed" sizes="60x60" href="apple-touch-icon-60x60.png" />
  <link rel="apple-touch-icon-precomposed" sizes="120x120" href="apple-touch-icon-120x120.png" />
  <link rel="apple-touch-icon-precomposed" sizes="76x76" href="apple-touch-icon-76x76.png" />
  <link rel="apple-touch-icon-precomposed" sizes="152x152" href="apple-touch-icon-152x152.png" />
  <link rel="icon" type="image/png" href="favicon-196x196.png" sizes="196x196" />
  <link rel="icon" type="image/png" href="favicon-96x96.png" sizes="96x96" />
  <link rel="icon" type="image/png" href="favicon-32x32.png" sizes="32x32" />
  <link rel="icon" type="image/png" href="favicon-16x16.png" sizes="16x16" />
  <link rel="icon" type="image/png" href="favicon-128.png" sizes="128x128" />
  <meta name="application-name" content="BTC"/>
  <meta name="msapplication-TileColor" content="#FFFFFF" />
  <meta name="msapplication-TileImage" content="mstile-144x144.png" />
  <meta name="msapplication-square70x70logo" content="mstile-70x70.png" />
  <meta name="msapplication-square150x150logo" content="mstile-150x150.png" />
  <meta name="msapplication-wide310x150logo" content="mstile-310x150.png" />
  <meta name="msapplication-square310x310logo" content="mstile-310x310.png" />
</head>
<body class="line-numbers">
<!--[if lte IE 9]>
<p class="browserupgrade">You are using an <strong>outdated</strong> browser. Please <a href="http://browsehappy.com/">upgrade your browser</a> to improve your experience and security.</p>
<![endif]-->
  <symbol id="icon-zoom-in" viewBox="0 0 32 32"><path class="path1" d="M31.008 27.231l-7.58-6.447c-0.784-0.705-1.622-1.029-2.299-0.998 1.789-2.096 2.87-4.815 2.87-7.787 0-6.627-5.373-12-12-12s-12 5.373-12 12 5.373 12 12 12c2.972 0 5.691-1.081 7.787-2.87-0.031 0.677 0.293 1.515 0.998 2.299l6.447 7.58c1.104 1.226 2.907 1.33 4.007 0.23s0.997-2.903-0.23-4.007zM12 20c-4.418 0-8-3.582-8-8s3.582-8 8-8 8 3.582 8 8-3.582 8-8 8zM14 6h-4v4h-4v4h4v4h4v-4h4v-4h-4z"></path></symbol>
	
  <input type="checkbox" id="menutoggle">
	<header class="mainheader">
    <div class="menutoggle"><label for="menutoggle">&equiv;</label></div>
		<div class="sitelogo"><a href="https://www.btc-es.de/en/"><img src="assets/templates/btc/img/btc-logo.svg" width="250" height="55" alt="BTC Logo"></a></div>
    <div class="language-links"><ul><li class=""><a href="https://www.btc-es.de/de/" hreflang="de" title="deutsch">deutsch</a></li><li class="active"><a href="https://www.btc-es.de/en/news/events/technical-talk-at-icfem-2016.html" hreflang="en" title="english">english</a></li><li class=""><a href="https://www.btc-es.de/zh/" hreflang="zh" title="中文">中文</a></li></ul></div>
	</header>
  <nav class="mainnav">
    
<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 20
            [url] => /btceu/en/products/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 24
            [url] => /btceu/en/company/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 56
            [url] => /btceu/en/sidebar/sales.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 70
            [url] => /btceu/en/products/overview.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 82
            [url] => /btceu/en/support/technical-support.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 384
            [url] => /btceu/en/news/news/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 558
            [url] => /btceu/en/sidebar/sales-contact-north-america.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 21
            [url] => /btceu/en/services.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 68
            [url] => /btceu/en/sidebar/management-team.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 69
            [url] => /btceu/en/company/management-team.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 71
            [url] => /btceu/en/products/btc-embeddedplatform/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 83
            [url] => /btceu/en/support/evaluations.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 87
            [url] => /btceu/en/news/events/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 22
            [url] => /btceu/en/company/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 38
            [url] => /btceu/en/products/btc-embeddedtester-base.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 73
            [url] => /btceu/en/sidebar/targetlink.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 78
            [url] => /btceu/en/company/partner.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 84
            [url] => /btceu/en/support/downloads.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 459
            [url] => /btceu/en/sidebar/videos.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 23
            [url] => /btceu/en/news/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 79
            [url] => /btceu/en/company/references.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 89
            [url] => /btceu/en/products/btc-embeddedtester/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 100
            [url] => /btceu/en/sidebar/news.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 302
            [url] => /btceu/en/sidebar/newsletter-subscription.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 80
            [url] => /btceu/en/company/research.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 90
            [url] => /btceu/en/products/btc-embeddedspecifier.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 117
            [url] => /btceu/en/sidebar/btc-embeddedtester-base.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 25
            [url] => /btceu/en/support/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 85
            [url] => /btceu/en/company/publications.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 91
            [url] => /btceu/en/products/btc-embeddedvalidator.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 118
            [url] => /btceu/en/sidebar/btc-embeddedtester.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 426
            [url] => /btceu/en/products/btc-requirement-observers.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 81
            [url] => /btceu/en/company/career/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 88
            [url] => /btceu/en/contact.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 119
            [url] => /btceu/en/sidebar/btc-embeddedspecifier.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 120
            [url] => /btceu/en/sidebar/btc-embeddedvalidator.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 122
            [url] => /btceu/en/sidebar/about-us.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 161
            [url] => /btceu/en/blog/
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 740
            [url] => /btceu/en/products/scenario-based-testing.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 96
            [url] => /btceu/en/products/videos.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 124
            [url] => /btceu/en/sidebar/references.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 125
            [url] => /btceu/en/sidebar/research.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 472
            [url] => /btceu/en/sidebar/automation.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 127
            [url] => /btceu/en/sidebar/btc-embeddedplatform.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 128
            [url] => /btceu/en/sidebar/products-use-cases.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 129
            [url] => /btceu/en/sidebar/btc-requirement-observers.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 130
            [url] => /btceu/en/sidebar/iso-26262.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 131
            [url] => /btceu/en/sidebar/model-checking.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 132
            [url] => /btceu/en/sidebar/code-coverage.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 133
            [url] => /btceu/en/sidebar/autosar.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 134
            [url] => /btceu/en/sidebar/support-contact.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->

<!-- Event: SystemEvent Object
(
    [name] => OnMakeDocUrl
    [_propagate] => 1
    [_output] => 
    [activated] => 
    [activePlugin] => Multidomain Extentions
    [params] => Array
        (
            [id] => 482
            [url] => /btceu/en/sidebar/evaluations.html
        )

    [previousEvent:SystemEvent:private] => 
)
-->
<ul><li class="first navlevel1"><a href="https://www.btc-es.de/en/products/" title="Products" >Products</a><ul><li class="first navlevel2"><a href="https://www.btc-es.de/en/products/overview.html" title="Overview" >Overview</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/" title="BTC EmbeddedPlatform" >BTC EmbeddedPlatform</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedtester-base.html" title="BTC EmbeddedTester BASE" >BTC EmbeddedTester BASE</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedtester/" title="BTC EmbeddedTester" >BTC EmbeddedTester</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedspecifier.html" title="BTC EmbeddedSpecifier" >BTC EmbeddedSpecifier</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-embeddedvalidator.html" title="BTC EmbeddedValidator" >BTC EmbeddedValidator</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/btc-requirement-observers.html" title="BTC Requirement Observers" >BTC Requirement Observers</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/products/scenario-based-testing.html" title="ADAS/AD: Scenario-based Testing" >ADAS/AD: Scenario-based Testing</a></li>
<li class="last navlevel2"><a href="https://www.btc-es.de/en/products/videos.html" title="Videos" >Videos</a></li>
</ul></li>
<li class="navlevel1"><a href="https://www.btc-es.de/en/services.html" title="Services" >Services</a></li>
<li class="navlevel1"><a href="https://www.btc-es.de/en/company/" title="Company" >Company</a><ul><li class="first navlevel2"><a href="https://www.btc-es.de/en/company/about-us.html" title="About Us" >About Us</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/management-team.html" title="Management Team" >Management Team</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/partner.html" title="Partners" >Partners</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/references.html" title="References" >References</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/research.html" title="Research" >Research</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/company/publications.html" title="Publications" >Publications</a></li>
<li class="last navlevel2"><a href="https://www.btc-es.de/en/company/career/" title="Career" >Career</a></li>
</ul></li>
<li class="navlevel1 active"><a href="https://www.btc-es.de/en/news/" title="News" >News</a><ul><li class="first navlevel2"><a href="https://www.btc-es.de/en/news/news/" title="News" >News</a></li>
<li class="last navlevel2 active"><a href="https://www.btc-es.de/en/news/events/" title="Events" >Events</a></li>
</ul></li>
<li class="navlevel1"><a href="https://www.btc-es.de/en/support/" title="Support" >Support</a><ul><li class="first navlevel2"><a href="https://www.btc-es.de/en/support/technical-support.html" title="Technical Support" >Technical Support</a></li>
<li class="navlevel2"><a href="https://www.btc-es.de/en/support/evaluations.html" title="Evaluations" >Evaluations</a></li>
<li class="last navlevel2"><a href="https://www.btc-es.de/en/support/downloads.html" title="Downloads" >Downloads</a></li>
</ul></li>
<li class="navlevel1"><a href="https://www.btc-es.de/en/contact.html" title="Contact" >Contact</a></li>
<li class="last navlevel1"><a href="https://www.btc-es.de/en/blog/" title="Blog" >Blog</a></li>
</ul>
  </nav>
<main>
  
  <article class="maincontent">
    <div class="breadcrumbs">
<!-- 6 -->

<!-- Array
(
    [0] => 136
    [1] => 87
    [2] => 23
)
 -->
<a href="https://www.btc-es.de/en/news/" class="breadcrumbs-crumb">News</a><span class="breadbrumbs-separator">&raquo;</span><a href="https://www.btc-es.de/en/news/events/" class="breadcrumbs-crumb">Events</a><span class="breadbrumbs-separator">&raquo;</span><span class="breadcrumbs-crumb">Technical Talk at ICFEM 2016</span></div>
    <div class="newsitem-meta">Published on September 20, 2016.</div>
    <h1>Technical Talk at ICFEM 2016</h1>
    <p><strong>November 14, 2016</strong></p>
<p>BTC Embedded Systems will give a technical talk at the FM&amp;MDD (Formal Methods and Model-Drive Development) Workshop at ICFEM (International Conference on Formal Engineering Methods) 2016 in Tokyo, Japan. The topic of the talk is "Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation".</p>
<p>&nbsp;</p>
<p>You can download the related paper in our <a href="https://www.btc-es.de/en/company/publications.html">download section</a>.</p>
    
  </article>
    <aside class="mainaside">
  <section class="asidesection">
  
    <h3>Newsletter Subscription</h3>
    
    <script id="n2g_script" type="text/plain" data-type="text/javascript" data-name="nl2g">
  !function(e,t,n,c,r,a,i){e.Newsletter2GoTrackingObject=r,e[r]=e[r]||function(){(e[r].q=e[r].q||[]).push(arguments)},e[r].l=1*new Date,a=t.createElement(n),i=t.getElementsByTagName(n)[0],a.async=1,a.src=c,i.parentNode.insertBefore(a,i)}(window,document,"script","//static.newsletter2go.com/utils.js","n2g");
  n2g('create', '92pxgllz-ch0pug9j-nry');
  var config = {
    "container": {
      "type": "div",
      "class": "fpnl-outer",
      "style": ""
    },
    "input": {
      "class": "fpnl-input",
      "style": ""
    },
    "button": {
      "type": "button",
      "class": "fpnl-button",
      "id": "",
      "style": ""
    },
    "row": {
      "type": "div",
      "class": "",
      "style": ""
    },
    "columnLeft": {
      "type": "div",
      "class": "",
      "style": ""
    },
    "columnRight": {
      "type": "div",
      "class": "",
      "style": ""
    },
    "label": {
      "type": "label",
      "class": "fpnl-label",
      "style": ""
    },
    "message": {
      "type": "p",
      "class": "fpnl-message",
      "id": "",
      "style": ""
    }
  }
  n2g('subscribe:createForm',config);
</script>
<small>Your email address will be submitted to the privacy-certified newsletter software Newsletter2Go for technical distribution. For further information go to our <a href="/en/company/link-to-privacy-policy.html">privacy policy</a>.</small>
  
</section><section class="asidesection">
  <a href="https://www.btc-es.de/en/company/about-us.html">
    <h3>About Us</h3>
    
      <picture>
        <source srcset="assets/cache/images/sidebar/btc-es-272x150-687.png 1x, assets/cache/images/sidebar/btc-es-544x300-8ee.png 2x" media="(min-width: 50em)">
        <source srcset="assets/cache/images/sidebar/btc-es-350x193-d7c.png 1x, assets/cache/images/sidebar/btc-es-700x386-4b0.png 2x" media="(min-width: 40em)">
        <source srcset="assets/cache/images/sidebar/btc-es-302x166-2fc.png 1x, assets/cache/images/sidebar/btc-es-604x332-c87.png 2x" media="(min-width: 30em)">
        <source srcset="assets/cache/images/sidebar/btc-es-222x122-bff.png 1x, assets/cache/images/sidebar/btc-es-444x244-523.png 2x" media="(min-width: 0em)">
        <img src="assets/cache/images/sidebar/btc-es-272x150-687.png" alt="About Us">
      </picture>
    
    <p><a href="https://www.btc-es.de/en/company/about-us.html">Read more about our history and motivation.</a></p>
  </a>
</section><section class="asidesection">
  <a href="https://www.btc-es.de/en/products/overview.html">
    <h3>Products & Use Cases</h3>
    
      <picture>
        <source srcset="assets/cache/images/sidebar/overview-272x150-4ad.png 1x, assets/cache/images/sidebar/overview-544x300-b23.png 2x" media="(min-width: 50em)">
        <source srcset="assets/cache/images/sidebar/overview-350x193-0ce.png 1x, assets/cache/images/sidebar/overview-700x386-71e.png 2x" media="(min-width: 40em)">
        <source srcset="assets/cache/images/sidebar/overview-302x166-69b.png 1x, assets/cache/images/sidebar/overview-604x332-378.png 2x" media="(min-width: 30em)">
        <source srcset="assets/cache/images/sidebar/overview-222x122-f88.png 1x, assets/cache/images/sidebar/overview-444x244-ca8.png 2x" media="(min-width: 0em)">
        <img src="assets/cache/images/sidebar/overview-272x150-4ad.png" alt="Products & Use Cases">
      </picture>
    
    <p>Get an overview about our products and the supported use cases.</p>
  </a>
</section>
</aside>
</main>
<footer class="mainfooter">
  <section class="footercolumn">
  <strong>Popular Topics</strong>
  <ul><li><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/targetlink.html">TargetLink</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester/code-coverage.html">Code Coverage</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester/iso-26262.html">ISO 26262</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester/autosar.html">AUTOSAR</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/model-checking.html">Model Checking</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/automation.html">Automation</a></li></ul>
</section><section class="footercolumn">
  <strong>Products</strong>
  <ul><li><a href="https://www.btc-es.de/en/products/overview.html">Overview</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedplatform/">BTC EmbeddedPlatform</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester-base.html">BTC EmbeddedTester BASE</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedtester/">BTC EmbeddedTester</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedspecifier.html">BTC EmbeddedSpecifier</a></li><li><a href="https://www.btc-es.de/en/products/btc-embeddedvalidator.html">BTC EmbeddedValidator</a></li><li><a href="https://www.btc-es.de/en/products/btc-requirement-observers.html">BTC Requirement Observers</a></li><li><a href="https://www.btc-es.de/en/products/videos.html">Videos</a></li></ul>
</section><section class="footercolumn">
  <strong>Company</strong>
  <ul><li><a href="https://www.btc-es.de/en/company/about-us.html">About Us</a></li><li><a href="https://www.btc-es.de/en/company/management-team.html">Management Team</a></li><li><a href="https://www.btc-es.de/en/company/partner.html">Partners</a></li><li><a href="https://www.btc-es.de/en/company/references.html">References</a></li><li><a href="https://www.btc-es.de/en/company/research.html">Research</a></li><li><a href="https://www.btc-es.de/en/company/publications.html">Publications</a></li><li><a href="https://www.btc-es.de/en/company/career/">Career</a></li><li><a href="https://www.btc-es.de/en/blog/">Blog</a></li></ul>
</section><section class="footercolumn">
  
  <ul><li><a href="https://www.btc-es.de/en/contact.html">Contact</a></li><li><a href="https://www.btc-es.de/en/company/imprint.html">Imprint</a></li><li><a href="https://www.btc-es.de/en/company/privacy-policy.html">Privacy Policy</a></li><li class="footer-icons">
	<a href="https://de.linkedin.com/company/btc-embedded-systems-ag" target="_blank"><svg class="icon icon-linkedin"><use xlink:href="#icon-linkedin"></use></svg></a>
	<a href="https://www.xing.com/companies/btcembeddedsystemsag" target="_blank"><svg class="icon icon-xing"><use xlink:href="#icon-xing"></use></svg></a>
	<a href="https://www.youtube.com/channel/UCTTXgzR2IeJsOFa8QabSDOQ" target="_blank"><svg class="icon icon-youtube"><use xlink:href="#icon-youtube"></use></svg></a>
</li></ul>
</section>
  <section class="footercolumn wide">
    <p>&copy; 2021. BTC-ES. All rights reserved.</p>
  </section>
</footer>

<svg xmlns="http://www.w3.org/2000/svg" style="display:none">
  <symbol id="icon-xing" viewBox="0 0 32 32">
    <path d="M29 0h-26c-1.65 0-3 1.35-3 3v26c0 1.65 1.35 3 3 3h26c1.65 0 3-1.35 3-3v-26c0-1.65-1.35-3-3-3zM9.769 20.813h-3.456c-0.206 0-0.362-0.094-0.45-0.238-0.094-0.15-0.094-0.337 0-0.531l3.675-6.488c0.006-0.006 0.006-0.012 0-0.019l-2.338-4.050c-0.094-0.194-0.112-0.381-0.019-0.531 0.088-0.144 0.263-0.219 0.475-0.219h3.462c0.531 0 0.794 0.344 0.963 0.65 0 0 2.363 4.125 2.381 4.15-0.137 0.25-3.737 6.606-3.737 6.606-0.188 0.325-0.438 0.669-0.956 0.669zM26.137 4.756l-7.662 13.55c-0.006 0.006-0.006 0.019 0 0.025l4.881 8.913c0.094 0.194 0.1 0.387 0.006 0.538-0.087 0.144-0.25 0.219-0.462 0.219h-3.456c-0.531 0-0.794-0.35-0.969-0.656 0 0-4.906-9-4.919-9.025 0.244-0.431 7.7-13.656 7.7-13.656 0.188-0.331 0.413-0.656 0.925-0.656h3.506c0.206 0 0.375 0.081 0.462 0.219 0.087 0.144 0.087 0.338-0.012 0.531z"></path>
  </symbol>
  <symbol id="icon-linkedin" viewBox="0 0 32 32">
    <path d="M29 0h-26c-1.65 0-3 1.35-3 3v26c0 1.65 1.35 3 3 3h26c1.65 0 3-1.35 3-3v-26c0-1.65-1.35-3-3-3zM12 26h-4v-14h4v14zM10 10c-1.106 0-2-0.894-2-2s0.894-2 2-2c1.106 0 2 0.894 2 2s-0.894 2-2 2zM26 26h-4v-8c0-1.106-0.894-2-2-2s-2 0.894-2 2v8h-4v-14h4v2.481c0.825-1.131 2.087-2.481 3.5-2.481 2.488 0 4.5 2.238 4.5 5v9z"></path>
  </symbol>
  <symbol id="icon-youtube" viewBox="0 0 32 32">
    <path d="M31.681 9.6c0 0-0.313-2.206-1.275-3.175-1.219-1.275-2.581-1.281-3.206-1.356-4.475-0.325-11.194-0.325-11.194-0.325h-0.012c0 0-6.719 0-11.194 0.325-0.625 0.075-1.987 0.081-3.206 1.356-0.963 0.969-1.269 3.175-1.269 3.175s-0.319 2.588-0.319 5.181v2.425c0 2.587 0.319 5.181 0.319 5.181s0.313 2.206 1.269 3.175c1.219 1.275 2.819 1.231 3.531 1.369 2.563 0.244 10.881 0.319 10.881 0.319s6.725-0.012 11.2-0.331c0.625-0.075 1.988-0.081 3.206-1.356 0.962-0.969 1.275-3.175 1.275-3.175s0.319-2.587 0.319-5.181v-2.425c-0.006-2.588-0.325-5.181-0.325-5.181zM12.694 20.15v-8.994l8.644 4.513-8.644 4.481z"></path>
  </symbol>
</svg>

<script src="assets/js/jquery-1.12.4.min.js"></script>
<script src="assets/js/jquery.devrama.slider.min-0.9.4.js"></script>
<script src="assets/js/main.js"></script>
<!-- <link href="assets/js/cookiebar/cookiebar-grey.min.css" rel="stylesheet"> -->
<!-- <script src="assets/js/cookiebar/cookiebar.min.js?noGeoIp=1"></script> -->
<!-- <script src="assets/js/cookiebar/cookiebar.min.js?tracking=1&thirdparty=1&noGeoIp=1"></script> -->

<script type="text/plain" data-type="text/javascript" data-name="googleAnalytics">
var gaProperty='UA-78098623-1';var disableStr='ga-disable-'+gaProperty;if(document.cookie.indexOf(disableStr+'=true')>-1){window[disableStr]=!0}
function gaOptout(){document.cookie=disableStr+'=true; expires=Thu, 31 Dec 2099 23:59:59 UTC; path=/';window[disableStr]=!0;alert('')}
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');ga('create', 'UA-78098623-1', 'auto');ga('set', 'anonymizeIp', true);ga('send', 'pageview');
</script>

<link rel="stylesheet" href="assets/js/klaro/klaro.min.css">
<script defer src="assets/js/klaro/klaro-config.js"></script>
<script defer src="assets/js/klaro/klaro.js"></script>

<script>
  let code = document.querySelector('pre[class|="language"] > code');
  // console.log(code);
  if (code !== null) {
    var css = document.createElement('link');
    css.rel = 'stylesheet';
    css.href = 'assets/js/prism/prism.css';
    document.head.appendChild(css);
    var script = document.createElement('script');
    script.src = 'assets/js/prism/prism.js';
    document.head.appendChild(script);
  }
</script>

</body>
</html>