- Timed models of security protocols including delays in the network
Details zum Objekt: Timed models of security protocols including delays in the network
PDF
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:www.sbc.org.pl:304593
- Sprache:
- Bereich:
- Besitzen:
Das Objekt befindet sich in den Sammlungen:
Zusätzliche Informationen
- Erstellungsdatum: 2018-03-12
- Zuletzt geändert am: 2020-02-12
- Anzahl der Ansichten des Inhaltsobjekts: 54
- Sie können auch die Beschreibung des Objekts in diesen Formaten herunterladen: ;
- Historische Texterkennung:
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ł
The visualization of shaft vibration using the algorithm of phase-amplitude data interpolation
Ersteller: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ł
