A state-based model of sensor protocols (Q1758154): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: A state-based model of sensor protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457211 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Principles of Distributed Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Distributed Computing - IWDC 2003 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmic Aspects of Wireless Sensor Networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Techniques for Networked and Distributed Systems – FORTE 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis of interface specifications for Java classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mining specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2782251 / rank
 
Normal rank

Latest revision as of 21:08, 5 July 2024

scientific article
Language Label Description Also known as
English
A state-based model of sensor protocols
scientific article

    Statements

    A state-based model of sensor protocols (English)
    0 references
    0 references
    0 references
    8 November 2012
    0 references
    sensor network
    0 references
    state-based model
    0 references
    formal model
    0 references
    protocol specification
    0 references
    protocol verification and analysis
    0 references
    self-stabilization
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references