%0 Journal Article %1 journals/jrie/TomanHTGV24 %A Toman, Zinah Hussein %A Hamel, Lazhar %A Toman, Sarah Hussein %A Graiet, Mohamed %A Valadares, Dalton Cézane Gomes %D 2024 %J J. Reliab. Intell. Environ. %K dblp %N 1 %P 73-91 %T Formal verification for security and attacks in IoT physical layer. %U http://dblp.uni-trier.de/db/journals/jrie/jrie10.html#TomanHTGV24 %V 10

@article{journals/jrie/TomanHTGV24, added-at = {2024-03-11T00:00:00.000+0100}, author = {Toman, Zinah Hussein and Hamel, Lazhar and Toman, Sarah Hussein and Graiet, Mohamed and Valadares, Dalton Cézane Gomes}, biburl = {https://www.bibsonomy.org/bibtex/2dea64bf3f4672d2a5380a32513619a94/dblp}, ee = {https://doi.org/10.1007/s40860-023-00202-y}, interhash = {47c8d414db3d343ccbb908bf178d6ad6}, intrahash = {dea64bf3f4672d2a5380a32513619a94}, journal = {J. Reliab. Intell. Environ.}, keywords = {dblp}, month = {March}, number = 1, pages = {73-91}, timestamp = {2024-04-08T16:05:51.000+0200}, title = {Formal verification for security and attacks in IoT physical layer.}, url = {http://dblp.uni-trier.de/db/journals/jrie/jrie10.html#TomanHTGV24}, volume = 10, year = 2024 }