A hierarchical formal method for performance evaluation of WSNs protocol (Q2030175)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A hierarchical formal method for performance evaluation of WSNs protocol
scientific article

    Statements

    A hierarchical formal method for performance evaluation of WSNs protocol (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    7 June 2021
    0 references
    WSNs
    0 references
    CSMA/CA
    0 references
    formal modelling
    0 references
    performance evaluation
    0 references
    hierarchical timed coloured Petri nets
    0 references

    Identifiers