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
lean
biblio
Toward Lean Green Supply Chain Performance, A Risk Management Approach
Submitted by grigby1 on Thu, 01/05/2023 - 5:38pm
risk management
Organizations
pubcrawl
Metrics
Decision Making
Proposals
Complexity theory
supply chains
supply chain management
Supply Chain
supply chain risk assessment
Green
lean
WPM
biblio
Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
collaboration
Compositionality
Cryptography
dafny
fstar
HTTPs
lean
privacy
protocol
protocol verification
pubcrawl
security
TLS
verification
Z3
