<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>1875</id>
    <completedYear/>
    <publishedYear>2011</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>106</pageFirst>
    <pageLast>118</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <articleNumber/>
    <type>conferenceobject</type>
    <publisherName>Springer</publisherName>
    <publisherPlace>Berlin</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>1</belongsToBibliography>
    <completedDate>2022-03-09</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Behavior Specification of a Red-Light Violation Warning Application - An Approach for Specifying Reactive Vehicle-2-X Communication Applications</title>
    <parentTitle language="eng">Communication Technologies for Vehicles: Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings</parentTitle>
    <identifier type="isbn">978-3-642-19785-7</identifier>
    <identifier type="isbn">978-3-642-19786-4</identifier>
    <enrichment key="THI_review">peer-review</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <enrichment key="opus.source">publish</enrichment>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.1007/978-3-642-19786-4_10</enrichment>
    <enrichment key="THI_conferenceName">Third International Workshop Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen (Germany), 23.-24.03.2011</enrichment>
    <author>
      <first_name>Sebastian</first_name>
      <last_name>Röglinger</last_name>
    </author>
    <editor>
      <first_name>Thomas</first_name>
      <last_name>Strang</last_name>
    </editor>
    <author>
      <first_name>Christian</first_name>
      <last_name>Facchi</last_name>
    </author>
    <editor>
      <first_name>Andreas</first_name>
      <last_name>Festag</last_name>
    </editor>
    <editor>
      <first_name>Alexey</first_name>
      <last_name>Vinel</last_name>
    </editor>
    <editor>
      <first_name>Rashid</first_name>
      <last_name>Mehmood</last_name>
    </editor>
    <editor>
      <first_name>Cristina</first_name>
      <last_name>Rico García</last_name>
    </editor>
    <editor>
      <first_name>Matthias</first_name>
      <last_name>Röckl</last_name>
    </editor>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Modeling Reactive System</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Vehicle-2-X Communication</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Finite State Machine</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Red-Light Violation Warning</value>
    </subject>
    <collection role="institutes" number="15984">Fakultät Elektrotechnik und Informatik</collection>
    <collection role="persons" number="26695">Facchi, Christian</collection>
  </doc>
  <doc>
    <id>2376</id>
    <completedYear/>
    <publishedYear>2011</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>3154</pageFirst>
    <pageLast>3168</pageLast>
    <pageNumber/>
    <edition/>
    <issue>14</issue>
    <volume>55</volume>
    <articleNumber/>
    <type>article</type>
    <publisherName>Elsevier</publisherName>
    <publisherPlace>Amsterdam</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>1</belongsToBibliography>
    <completedDate>2022-05-17</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">A methodology for testing intersection related vehicle-2-X applications</title>
    <parentTitle language="eng">Computer Networks</parentTitle>
    <identifier type="issn">1389-1286</identifier>
    <note>Part of special issue: "Deploying vehicle-2-x communication"</note>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.1016/j.comnet.2011.06.014</enrichment>
    <enrichment key="THI_articleversion">published</enrichment>
    <enrichment key="THI_review">peer-review</enrichment>
    <enrichment key="opus.source">publish</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <author>
      <first_name>Sebastian</first_name>
      <last_name>Röglinger</last_name>
    </author>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>test methodology</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>vehicle-2-X communication</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>environment stubbing</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>intersection related applications</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>proof of concept</value>
    </subject>
    <collection role="institutes" number="15988">ZAF - Zentrum für angewandte Forschung</collection>
  </doc>
</export-example>
