Detecting contradictions from IoT protocol specification documents based on neural generated knowledge graph
Xinguo Feng, Yanjun Zhang, Mark Huasong Meng, Yansong Li, Chegne Eu Joe, Zhe Wang, Guangdong Bai
Topics & Concepts
Computer scienceProtocol (science)MQTTFormal specificationGraphParsingArtificial intelligenceProgramming languageWorld Wide WebInternet of ThingsTheoretical computer sciencePathologyAlternative medicineMedicineNetwork Security and Intrusion DetectionAdversarial Robustness in Machine LearningInternet Traffic Analysis and Secure E-voting