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
network infrastructure
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
biblio
Cyber security evaluation of synchrophasors in a power system
Submitted by BrandonB on Fri, 05/01/2015 - 7:32am
Phasor measurement units
synchrophasors
Smart Grids
Smart Grid
security of data
security
Real-time monitoring
power system security
power system
Power measurement
power grids
Power Grid
PMU
benchmark IEEE 68 bus power system model
phasor measurement
network infrastructure
line current
frequency measurements
Frequency measurement
Data Security
cyber-attacks
cyber security vulnerabilities
Current measurement
Communication Network
bus voltage
« first
‹ previous
1
2
