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
description language
biblio
A Cyber Physical System based Stochastic Process Language With NuSMV Model Checker
Submitted by grigby1 on Tue, 07/12/2022 - 3:37pm
Semantics
Cyber Dependencies
tree data structures
Stochastic Process
description language
model checking
cyber physical systems
embedded systems
Natural languages
Syntactics
pubcrawl
Compositionality
Metrics
composability
Stochastic processes
Scalability
Resiliency
resilience
Human behavior
biblio
Proposing, specifying, and validating a controller-based routing protocol for a clean-slate Named-Data Networking
Submitted by grigby1 on Thu, 04/20/2017 - 12:33pm
Metrics
specification languages
specification language
Routing protocols
Routing
router memory requirement reduction
Resiliency
pubcrawl
protocol proposal description
Proposals
Petri nets
network topology
NDN routing schemes
clean slate
IP networks
internet
Human behavior
Future Internet
formal method
description language
CRoS behavior
controller-based routing protocol
control message overhead avoidance
collaboration
code signaling information
clean-slate named-data networking
