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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

tree-based formalism

biblio

Visible to the public Parametric Analyses of Attack-Fault Trees

Submitted by grigby1 on Tue, 10/06/2020 - 2:01pm
  • risk assessment
  • parametric analyses
  • parametric timed automata
  • parametric weighted timed automata
  • power plants
  • pubcrawl
  • resilience
  • Resiliency
  • risk analysis
  • parameter values
  • Safety
  • safety engineering
  • security
  • security of data
  • tree-based formalism
  • trees (mathematics)
  • Unified modeling language
  • cyber-physical systems
  • automata
  • automata theory
  • composability
  • Concurrency
  • connected devices
  • Cost accounting
  • CPS
  • cyber physical systems
  • attack-fault trees
  • fault scenarios
  • fault trees
  • formal verification
  • imitator
  • Logic gates
  • Metrics
  • model-checker IMITATOR

Terms of Use  |  ©2023. CPS-VO