Evaluation of a sensor network node communication using formal verification
Keyword(s):
2021 ◽
Vol 1976
(1)
◽
pp. 012038
Keyword(s):
Keyword(s):
2016 ◽
Vol 76
(19)
◽
pp. 19635-19647
Keyword(s):
2014 ◽
Vol 536-537
◽
pp. 731-734
Keyword(s):