A Novel Suggestion on Informatics Framework of Smart Devices Involving Hardware,firmware,software & Communication Protocol/s Verification in the Context of Iot Based on e Theorem Prover.
Nirmal Tej Kumar, Raphael Melo Thiago, B Sandro, R Vinicius, Lisane, P Vanderlei · viXra · 2017
We present in this short communication - “E Theorem Prover and Verification of Smart Devices & Protocols Based on IoT Environments – A Novel Suggestion on Informatics Framework of Smart Devices involving Hardware,Firmware & Software Verification.”