Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks.

Douglas Simes Silva, Davi Resner, Rick Lopes de Souza, Jean Everson Martina

Browse the full ICISS paper archive.