<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>3020</id>
    <completedYear/>
    <publishedYear>2010</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>1</pageFirst>
    <pageLast>2</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <articleNumber/>
    <type>conferenceobject</type>
    <publisherName>Springer</publisherName>
    <publisherPlace>Berlin</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">New Challenges in the Development of Critical Embedded Systems: An "aeromotive" Perspective</title>
    <parentTitle language="eng">Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I</parentTitle>
    <identifier type="isbn">978-3-642-16558-0</identifier>
    <identifier type="isbn">978-3-642-16557-3</identifier>
    <enrichment key="opus.import.data">@inproceedingsDBLP:conf/isola/JanuzajKLSV10, author = Visar Januzaj and Stefan Kugele and Boris Langer and Christian Schallhart and Helmut Veith, bibsource = dblp computer science bibliography, https://dblp.org, biburl = https://dblp.org/rec/conf/isola/JanuzajKLSV10.bib, booktitle = Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I, date-added = 2022-12-19 09:22:16 +0100, date-modified = 2022-12-19 09:22:16 +0100, doi = 10.1007/978-3-642-16558-0_1, editor = Tiziana Margaria and Bernhard Steffen, pages = 1–2, publisher = Springer, series = Lecture Notes in Computer Science, timestamp = Wed, 25 Sep 2019 01:00:00 +0200, title = New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective, url = https://doi.org/10.1007/978-3-642-16558-0_1, volume = 6415, year = 2010, bdsk-url-1 = https://doi.org/10.1007/978-3-642-16558-0_1</enrichment>
    <enrichment key="opus.import.dataHash">md5:b7a4ceefd91f9ef9d090291169974936</enrichment>
    <enrichment key="opus.import.date">2022-12-19T10:41:56+00:00</enrichment>
    <enrichment key="opus.import.file">/tmp/phpNzJgLK</enrichment>
    <enrichment key="opus.import.format">bibtex</enrichment>
    <enrichment key="opus.import.id">63a03ff459d456.63109939</enrichment>
    <enrichment key="THI_conferenceName">4th International Symposium on Leveraging Applications (ISoLA 2010), Heraklion (Crete, Greece), 18.-21.10.2010</enrichment>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.1007/978-3-642-16558-0_1</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <enrichment key="THI_review">editorial review</enrichment>
    <enrichment key="opus.doi.autoCreate">false</enrichment>
    <enrichment key="opus.urn.autoCreate">true</enrichment>
    <author>
      <first_name>Visar</first_name>
      <last_name>Januzaj</last_name>
    </author>
    <editor>
      <first_name>Tiziana</first_name>
      <last_name>Margaria</last_name>
    </editor>
    <author>
      <first_name>Stefan</first_name>
      <last_name>Kugele</last_name>
    </author>
    <editor>
      <first_name>Bernhard</first_name>
      <last_name>Steffen</last_name>
    </editor>
    <author>
      <first_name>Boris</first_name>
      <last_name>Langer</last_name>
    </author>
    <author>
      <first_name>Christian</first_name>
      <last_name>Schallhart</last_name>
    </author>
    <author>
      <first_name>Helmut</first_name>
      <last_name>Veith</last_name>
    </author>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Carbon Footprint</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Functional Safety</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Execution Time Estimate</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Functional Input</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Product Data Model</value>
    </subject>
    <collection role="persons" number="40511">Kugele, Stefan</collection>
  </doc>
</export-example>
