- Tytuł:
- Persistent Stochastic Non-Interference
- Autorzy:
-
Hillston, Jane
Marin, Andrea
Piazza, Carla
Rossi, Sabina - Data publikacji:
- 2021
- Słowa kluczowe:
-
process algebra
non-interference
stochastic models - Pokaż więcej
- Dostawca treści:
- BazTech