- Timed models of security protocols including delays in the network
Details zum Objekt: Timed models of security protocols including delays in the network
Struktur
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Beschreibung
- Titel:
- Group title:
- Verfasser: ; ;
- Thema und Schlagwörter: ;
- Herausgeber:
- Verlagsort:
- Datum:
- Bestandestyp:
- Format:
- Identifikation des Bestandes: oai:reader.digitarium.pcss.pl:304593
- Sprache:
- Bereich:
- Besitzen:
Das Objekt befindet sich in den Sammlungen:
Siehe auch
Method of predicting the water level in the Dniester river,depending on weather conditions
Ersteller:Mandryk O. M.; Horbiychuk M. I.
Datum:2014
Typ:czasopismo
Using probabilistic automata for security protocols verification
Ersteller:Siedlecka-Lamch Olga; Kurkowski Mirosław; Piątkowski Jacek
Datum:2016
Typ:artykuł
An approach to exponentiation with interval-valued power
Ersteller:Tikhonenko-Kędziak Anna; Kurkowski Mirosław
Datum:2016
Typ:artykuł
The visualization of shaft vibration using the algorithm of phase-amplitude data interpolation
Ersteller:Piątkowski Jacek
Datum:2016
Typ:artykuł