- Timed models of security protocols including delays in the network
Object's details: Timed models of security protocols including delays in the network
PDF
Structure
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Description
- Title:
- Group title:
- Creator: ; ;
- Subject and Keywords: ;
- Publisher:
- Place of publishing:
- Date:
- Resource Type:
- Format:
- Resource Identifier: oai:www.sbc.org.pl:304593
- Language:
- Coverage:
- Oryginal in:
Object is located in the collections:
Additional information
- Creation date: 2018-03-12
- Last modification date: 2020-02-12
- Content object's number of views: 56
- You could also download the object's description in these formats: ;
- Historical Text Recognition:
See also
Method of predicting the water level in the Dniester river,depending on weather conditions
Creator:Mandryk O. M.; Horbiychuk M. I.
Date:2014
Type:czasopismo
Using probabilistic automata for security protocols verification
Creator:Siedlecka-Lamch Olga; Kurkowski Mirosław; Piątkowski Jacek
Date:2016
Type:artykuł
The visualization of shaft vibration using the algorithm of phase-amplitude data interpolation
Creator:Piątkowski Jacek
Date:2016
Type:artykuł
An approach to exponentiation with interval-valued power
Creator:Tikhonenko-Kędziak Anna; Kurkowski Mirosław
Date:2016
Type:artykuł