Germany on the Road to Electronic Proof of Identity.

Published in: ISSE (2010)

Keyphrases

road network
aerial images
vehicle detection
traffic monitoring
road vehicles
computer science
theorem prover
theorem proving
road surface
identity management
design automation
traffic accidents
autonomous driving
linear logic
moving vehicles
neural network
social networks