Probabilistic model checking of AODV

DOI10.1007/978-3-030-59854-9_6zbMath1483.68037OpenAlexW3094890558MaRDI QIDQ2056982

Mojgan Kamali, Joost-Pieter Katoen

Publication date: 8 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-59854-9_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Tweaking the odds in probabilistic timed automata

This page was built for publication: Probabilistic model checking of AODV