- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Rens W. van der Heijden, Ala'a Al-Momani, Frank Kargl, Osama M.F. Abu-Sharkh. Enhanced position verification for VANETs using subjective logic. Submitted on 30 Mar 2017 (v1), last revised 31 Mar 2017 (this version, v2), corrected version of a paper submitted to 2016 IEEE 84th Vehicular Technology Conference (VTC2016-Fall). Verfügbar bei arXiv. https://arxiv.org/abs/1703.10399v2
- Classification
-
Allgemeines, Wissenschaft
- Keyword
-
VANET
Computersicherheit
Eindringerkennung
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm
- (when)
-
2016
- Creator
-
Heijden, Rens W. van der
Kargl, Frank
Al-Momani, Ala'a
Abu-Sharkh, Osama M. F.
- DOI
-
10.18725/OPARU-4501
- URN
-
urn:nbn:de:bsz:289-oparu-4540-2
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Heijden, Rens W. van der
- Kargl, Frank
- Al-Momani, Ala'a
- Abu-Sharkh, Osama M. F.
- Universität Ulm
Time of origin
- 2016
Other Objects (12)
Enhanced position verification for VANETs using subjective logic
Computer logic, testing and verification
Software verification for programmable logic controllers
Software verification for programmable logic controllers
Multi-source fusion operations in subjective logic
Multi-source fusion operations in subjective logic
Verification of golog programs over description logic actions
Runtime Verification Using a Temporal Description Logic Revisited
A signature-based approach to formal logic verification
Verification of Golog Programs over Description Logic Actions
Verification and Strategy Synthesis for Coalition Announcement Logic
Verification of Golog Programs over Description Logic Actions
Enhanced position verification for VANETs using subjective logic
Computer logic, testing and verification
Software verification for programmable logic controllers
Software verification for programmable logic controllers
Multi-source fusion operations in subjective logic
Multi-source fusion operations in subjective logic
Verification of golog programs over description logic actions
Runtime Verification Using a Temporal Description Logic Revisited
A signature-based approach to formal logic verification
Verification of Golog Programs over Description Logic Actions
Verification and Strategy Synthesis for Coalition Announcement Logic
Verification of Golog Programs over Description Logic Actions
Enhanced position verification for VANETs using subjective logic
Computer logic, testing and verification
Software verification for programmable logic controllers
Software verification for programmable logic controllers
Multi-source fusion operations in subjective logic
Multi-source fusion operations in subjective logic
Verification of golog programs over description logic actions
Runtime Verification Using a Temporal Description Logic Revisited
A signature-based approach to formal logic verification
Verification of Golog Programs over Description Logic Actions
Verification and Strategy Synthesis for Coalition Announcement Logic