- Timed models of security protocols including delays in the network
Szczegóły obiektu: Timed models of security protocols including delays in the network
Struktura
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Opis
- Tytuł:
- Tytuł publikacji grupowej:
- Autor: ; ;
- Temat i słowa kluczowe: ;
- Wydawca:
- Miejsce wydania:
- Data wydania:
- Typ zasobu:
- Format:
- Identyfikator zasobu: oai:reader.digitarium.pcss.pl:304593
- Język:
- Zakres:
- Lokalizacja oryginału:
Obiekt znajduje się w kolekcjach:
Zobacz także
Method of predicting the water level in the Dniester river,depending on weather conditions
Twórca:Mandryk O. M.; Horbiychuk M. I.
Data:2014
Typ:czasopismo
Using probabilistic automata for security protocols verification
Twórca:Siedlecka-Lamch Olga; Kurkowski Mirosław; Piątkowski Jacek
Data:2016
Typ:artykuł
An approach to exponentiation with interval-valued power
Twórca:Tikhonenko-Kędziak Anna; Kurkowski Mirosław
Data:2016
Typ:artykuł
The visualization of shaft vibration using the algorithm of phase-amplitude data interpolation
Twórca:Piątkowski Jacek
Data:2016
Typ:artykuł