Work

Automated analysis of AODV using UPPAAL

Year: 2012

Type: article

Authors: Ansgar Fehnker, Rob Van Glabbeek, Peter Höfner, Annabelle Mciver, Marius Portmann, Wee Lum Tan

Institutions: Data61, The University of Queensland

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3124744922

FWCI: 9.503

Cites: 16

Cited by: 54

Related to: 10