- Timed models of security protocols including delays in the network
Object's details: Timed models of security protocols including delays in the network
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:reader.digitarium.pcss.pl:304593
- Language:
- Coverage:
- Oryginal in:
Object is located in the collections:
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ł
An approach to exponentiation with interval-valued power
Creator:Tikhonenko-Kędziak Anna; Kurkowski Mirosław
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ł