The following pages link to (Q4379559):
Displaying 8 items.
- A probabilistic approach to the arithmetics of fuzzy numbers (Q529114) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- An interdependency index for the outputs of uncertain systems (Q835135) (← links)
- A truly concurrent semantics for a process algebra using resource pomsets (Q1603698) (← links)
- \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
- Preservation of probabilistic information flow under refinement (Q2482443) (← links)
- Standards and verification for fair-exchange and atomicity in e-commerce transactions (Q2489255) (← links)
- (Q5002833) (← links)
