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 protocol
biblio
Survey on MAC Protocol of Mobile Ad hoc Network for Tactical Data Link System
Submitted by grigby1 on Fri, 08/25/2023 - 11:00am
security
pubcrawl
resilience
Resiliency
Scalability
information technology
Information Centric Networks
Reliability
mobile ad hoc networks
Technological innovation
Media Access Protocol
System performance
MAC protocol
mobile ad hoc network (MANET)
Network Centric Warfare
Tactical Data Link
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
