Login / Signup
System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata.
Abdel-Latif Alshalalfah
Otmane Aït Mohamed
Published in:
ICECS (2020)
Keyphrases
</>
safety analysis
timed automata
network connectivity
model checking
symbolic model checking
management system
nuclear power plant
mobile devices
decision making
control system
software systems
dynamical systems
theorem proving