Login / Signup
Poster: Hierarchical Integrity Checking in Heterogeneous Vehicular Networks.
Dominik Püllen
Nikolaos Athanasios Anagnostopoulos
Tolga Arul
Stefan Katzenbeisser
Published in:
VNC (2018)
Keyphrases
</>
integrity checking
integrity constraints
vehicular networks
deductive databases
hard and soft constraints
constraint logic programming
routing scheme
propagation model