A Hybrid V2X System for Safety-Critical Applications in VANET.

Sangsoo Jeong Youngmi Baek Sang Hyuk Son

Published in: CPSNA (2016)

Keyphrases

safety critical
formal methods
fault tolerant
embedded systems
safety analysis
agent architecture
nuclear power plant
support systems
regulatory requirements
vehicular ad hoc networks
adaptive systems
real time
software engineering
distributed systems
monitoring system