Formalising a Hazard Warning Communication Protocol with Timed Automata.

Ernst-Rüdiger Olderog Maike Schwammberger

Published in: Models, Algorithms, Logics and Tools (2017)

Keyphrases

communication protocol
timed automata
model checking
reachability analysis
theorem prover
communication protocols
theorem proving
first order logic
temporal logic
wifi
real time systems
natural language
neural network
web services
low cost
distributed databases