Search for persons
X
?
Research and Innovation Forum 2023; Springer Proceedings in Complexity ,
1
Challenges of Cyber Security in Insurance Business:
, In:
?
2024 IEEE 15th International Colloquium on Logistics and Supply Chain Management (LOGISTIQUA) ,
2
Road insecurity: towards the development of a new proactive..:
, In:
?
Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic ,
3
Proof of Security Properties: Application to JavaCard Virtu..:
, In:
?
2024 International Conference on Circuit, Systems and Communication (ICCSC) ,
4
Evaluating Image Segmentation Algorithms: Mean Shift, K-mea..:
, In:
?
Applied Condition Monitoring; Advances in Acoustics and Vibration IV ,
5
The Dependence of the Characteristics of the Dispersion Cur..:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
7
Formal Verification of a JavaCard Virtual Machine with Fram..:
, In:
?
2020 19th International Conference on Mechatronics - Mechatronika (ME) ,
9
Evaluation of Psychological Load of Air Defense Members by ..:
, In:
?
2020 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS) ,
10
E-IOTA: an efficient and fast metamorphism for IOTA:
, In:
?
2019 International Conference on Military Technologies (ICMT) ,
11
Non-contact Measurement Systems for Physiological Data Moni..:
, In:
?
IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society ,
12
Dynamic digital twin for predictive maintenance in flexible..:
, In:
?
Lecture Notes in Electrical Engineering; Applied Physics, System Science and Computers III ,
13
Software Solution Incorporating Activation Congnitive Memor..:
, In:
?
IFMBE Proceedings; World Congress on Medical Physics and Biomedical Engineering 2018 ,
14
Assessment of Postural Stability Using the Method of Postur..:
, In:
?
IFMBE Proceedings; World Congress on Medical Physics and Biomedical Engineering 2018 ,
15