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
networking protocols
biblio
Communication Design for Underwater Acoustic Positioning Networks
Submitted by aekwall on Mon, 03/02/2020 - 12:36pm
multiple users UAPN
Underwater Networks
Underwater acoustics
underwater acoustic positioning networks
spread spectrum communication
sonar equation
Sonar
signal design
reliable communication
positioning service
offshore exploration
Oceans
ocean monitoring
networking protocols
narrow acoustic bandwidth
Scalability
marine research
marine engineering
communication design
underwater acoustic communication
telecommunication network reliability
Gold
sensors
Correlation
Metrics
component
Protocols
pubcrawl
Resiliency
Receivers
biblio
"Applying Formal Methods to Networking: Theory, Techniques, and Applications"
Submitted by grigby1 on Tue, 02/21/2017 - 12:11pm
Internet community
Tutorials
software defined networking
Software
SDN
pubcrawl170103
Protocols
networking protocols
network infrastructure
Mathematics
Internet culture
applying formal methods
Internet architecture
internet
formal verification
formal specifications
formal correctness
Computers
computer networks
Communities
clean slate Internet design
biblio
Applying Formal Methods to Networking: Theory, Techniques, and Applications
Submitted by BrandonB on Tue, 05/05/2015 - 9:53am
Internet community
Tutorials
software defined networking
Software
SDN
Protocols
networking protocols
network infrastructure
Mathematics
Internet culture
applying formal methods
Internet architecture
internet
formal verification
formal specifications
formal correctness
Computers
computer networks
Communities
clean slate Internet design
