A hierarchical formal method for performance evaluation of WSNs protocol
Siham Zroug, Laïd Kahloul, Saber Benharzallah, Karim Djouani
Topics & Concepts
Computer scienceFormalism (music)Protocol (science)Petri netFormal methodsDistributed computingExploitCommunications protocolFormal verificationFormal descriptionModel checkingTheoretical computer scienceComputer networkProgramming languageVisual artsAlternative medicineMusicalMedicinePathologyArtComputer securityPetri Nets in System ModelingMobile Agent-Based Network ManagementService-Oriented Architecture and Web Services