Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
MAC protocols
biblio
Formal Modeling and Verification of a Wireless Body Area Network (WBAN) Protocol: S-TDMA Protocol
Submitted by grigby1 on Wed, 05/09/2018 - 2:47pm
time division multiple access
resilience
Resiliency
S-TDMA protocol
Scalability
scalable verification
TDMA
TDMA bus arbitration
temporal aspect modeling
real-time model checker
timed automata
WBAN
Wearable devices
wireless body area network protocol
Wireless communication
wireless sensor networks
WSN
access protocols
pubcrawl
model checking
Metrics
Medium Access Control
Media Access Protocol
MAC protocols
MAC protocol
information processing systems
implanted devices
formal verification
formal validation
Connectors
Compositionality
body sensor networks
body area networks
biblio
Privacy-preserving channel access using blindfolded packet transmissions
Submitted by BrandonB on Mon, 05/04/2015 - 2:12pm
Mica2 hardware
wireless sensor networks
wireless MAC-layer approach
wireless channels
Tinyos-2x test-bed implementation
time division multiple access
TDMA
RSSI
protocol
privacy-preserving channel access anonymity
privacy
periodic TDMA-Iike time-slot
Noise
add-on hardware module
MAC protocols
Interference
Heating
Google
Equations
data privacy
Cryptography
convergence
channel sensing strategy
blindfolded packet transmission
anonymity
