Login / Signup
The Safety Analysis: Disagreement of Wireless Communication-Based Consensus.
Semiha Tedik Basaran
Gunes Karabulut Kurt
Gulay Oke Gunel
Anke Schmeink
Gerd Ascheid
Guido Dartmann
Published in:
IEEE Wirel. Commun. Lett. (2018)
Keyphrases
</>
wireless communication
safety analysis
nuclear power plant
control system
wireless networks
safety critical
communication networks
symbolic model checking
computer simulation
wireless sensor networks
fault model
reliability analysis
decision support system
model checking
partial observability