- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 2016 IEEE 84th Vehicular Technology Conference (VTC2016-Fall)
In: Rens W. van der Heijden, Ala’a Al-Momani, Frank Kargl, Osama M.F. Abu-Sharkh, 2016. Enhanced Position Verification for VANETs using Subjective Logic. In: Proceedings of the 2016 IEEE 84th Vehicular Technology Conference, Montreal, Canada, 18-21 September, 2016. IEEE.
- Classification
-
Informatik
- Keyword
-
VANET
Eindringerkennung
Computersicherheit
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm
- (when)
-
2016
- Creator
-
Heijden, Rens W. van der
Kargl, Frank
Abu-Sharkh, Osama M. F.
Al-Momani, Ala'a
- URN
-
urn:nbn:de:bsz:289-oparu-4119-7
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
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
- Abu-Sharkh, Osama M. F.
- Al-Momani, Ala'a
- 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
Verification of Golog Programs over Description Logic Actions
Verification of Golog Programs over Description Logic Actions
A signature-based approach to formal logic verification
A signature-based approach to formal logic verification
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
Verification of Golog Programs over Description Logic Actions
Verification of Golog Programs over Description Logic Actions
A signature-based approach to formal logic verification
A signature-based approach to formal logic verification
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
Verification of Golog Programs over Description Logic Actions
Verification of Golog Programs over Description Logic Actions
A signature-based approach to formal logic verification