The following pages link to (Q4295369):
Displayed 7 items.
- Test suite oscillations (Q844155) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols (Q2841265) (← links)
- Quantifying Probabilistic Information Flow in Computational Reactive Systems (Q5862670) (← links)
- The universal safeness of test allocation strategies for partition testing (Q5946283) (← links)