Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks

DOI10.1109/TC.2011.96MaRDI QIDQ5274697zbMATH OpenFDO

Authors Marcello Cinque, Domenico Cotroneo, Catello di Martino

Publication date 12 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Communication networks in operations research (90B18)

Recommendations

• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Modeling and efficient verification of wireless ad hoc networks

Cited in

(1)

• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude

This page was built for publication: Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5274697)