- Tytuł:
- Probability timed automata for investigating communication processes
- Autorzy:
-
Piech, H.
Grodzki, G. - Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
protocol logic
probabilistic timed automata
communication security - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki