Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Development of the ALOHANET / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contention-Free MAC Protocols for Wireless Sensor Networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4473714 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2848422 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification, Model Checking, and Abstract Interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmic Aspects of Wireless Sensor Networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Packet Switching in Radio Channels: Part I--Carrier Sense Multiple-Access Modes and Their Throughput-Delay Characteristics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4738778 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4813204 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol / rank
 
Normal rank
Property / cites work
 
Property / cites work: An abstract Monte-Carlo method for the analysis of probabilistic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Throughput Analysis for Persistent CSMA Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4806205 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Information processing in sensor networks. Second international workshop, IPSN 2003, Palo Alto, CA, USA, April 22--23, 2003. Proceedings / rank
 
Normal rank

Latest revision as of 21:03, 9 July 2024

scientific article; zbMATH DE number 6416598
Language Label Description Also known as
English
Evaluating Complex MAC Protocols for Sensor Networks with APMC
scientific article; zbMATH DE number 6416598

    Statements

    Evaluating Complex MAC Protocols for Sensor Networks with APMC (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    18 March 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    wireless sensor networks
    0 references
    approximate verification
    0 references
    0 references