Verisim; formal analysis; network; simulation; testing; routing; NS; MaC; AODV; temporal logic; ad hoc networks; packet radio; tuning; population abstraction; packettype abstraction
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.