- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
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.
- Klassifikation
-
Informatik
- Schlagwort
-
VANET
Eindringerkennung
Computersicherheit
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm
- (wann)
-
2016
- Urheber
-
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
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Heijden, Rens W. van der
- Kargl, Frank
- Abu-Sharkh, Osama M. F.
- Al-Momani, Ala'a
- Universität Ulm
Entstanden
- 2016
Ähnliche Objekte (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