Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479153)

From MaRDI portal
scientific article; zbMATH DE number 5039232
Language Label Description Also known as
English
Formal Techniques for Networked and Distributed Systems - FORTE 2005
scientific article; zbMATH DE number 5039232

    Statements

    Formal Techniques for Networked and Distributed Systems - FORTE 2005 (English)
    0 references
    0 references
    0 references
    0 references
    7 July 2006
    0 references
    mobile ad hoc networks
    0 references
    routing protocols
    0 references
    formal verification
    0 references
    model checking
    0 references
    UPPAAL
    0 references
    LUNAR
    0 references
    DSR
    0 references

    Identifiers