Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Model checking mobile ad hoc networks - MaRDI portal

Model checking mobile ad hoc networks (Q2363813)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model checking mobile ad hoc networks
scientific article

    Statements

    title
    Model checking mobile ad hoc networks (English)
    0 references
    author
    Fatemeh Ghassemi
    0 references
    W. J. Fokkink
    0 references
    publication date
    26 July 2017
    0 references
    zbMATH Keywords
    mobile ad hoc networks
    0 references
    model checking
    0 references
    multi-hop network constraints
    0 references
    constrained labeled transition systems
    0 references
    describes a project that uses
    wRebeca
    0 references
    HOL/SPIN
    0 references
    SPIN
    0 references
    Uppaal
    0 references
    mCRL
    0 references
    ACTLW
    0 references
    AODV
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68M12
    0 references
    68M14
    0 references
    68Q85
    0 references
    zbMATH DE Number
    6752217
    0 references
    OpenAlex ID
    W2500834352
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2363813&oldid=36336009"
    Powered by MediaWiki