Skip to main content


Advances, Systems and Applications

Journal of Cloud Computing Cover Image

Table 6 Truth table of Eq. 12

From: Evaluating robustness of cloud-based systems

si \(\mathcal {E}_{\textbf {s}}\llbracket e_{i}\rrbracket \) \(s_{i} \land \mathcal {E}_{\textbf {s}}\llbracket e_{i}\rrbracket \) \( s_{i} \times \mathcal {E}_{\textbf {s}}\llbracket e_{i}\rrbracket \leq s_{i}\)
Active Active Active yes
Inactive Active Inactive yes
Active Inactive Inactive yes
Inactive Inactive Inactive yes