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

DOI10.1109/TC.2011.96zbMATH Open1365.90053MaRDI QIDQ5274697FDOQ5274697

Authors: Marcello Cinque, Domenico Cotroneo, Catello di Martino 

Publication date: 12 July 2017

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

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

Mathematics Subject Classification ID

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

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)