-
failures) Develop modelling theories, quantitative methods and methodology as part of the disruption analysis and impact assessment affecting safety and security Apply the methodology to an industrial system
-
Probabilistic Resilience Anal-ysis (PRA) based on component networks and recovery models, and validating the method through case studies and a dedicated software tool. Duties and Responsibilities Develop a novel
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions