How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence.
Vincent ChapurlatSaber AlouiPublished in: MSVVEIS (2006)
Keyphrases
- risk management
- risk assessment
- risk factors
- risk analysis
- formal specification
- decision making
- formal methods
- risk evaluation
- formal language
- detection method
- high risk
- operational semantics
- detection algorithm
- formal languages
- reactive systems
- automatic detection
- data sets
- specification language
- specification languages
- requirements specification
- neural network
- formal model
- minimum risk
- security risks
- abnormal behavior
- natural disasters
- portfolio optimization
- e learning
- high level
- learning environment