Modelling User Availablity in Workflow Resiliency Analysis Download Tags: Markov Decision Process Probabilistic Model Checker Science of Security UIUC Workflow Satisfiability Problem Science of Security Simulation UIUC NSA SoS Lablets Materials NSA SoS Lablets Materials simulation Data-Driven Model-Based Decision-Making License: Creative Commons 2.5 Submitted by Amy Clay on Wed, 11/11/2015 - 16:26