Daniel Daukševič
CYBERSECURITY REQUIREMENTS ASSURANCE IN CRITICAL INFRASTRUCTURE SYSTEMS THROUGH THE APPLICATION OF FORMAL VERIFICATION AND ARTIFICIAL INTELLIGENCE-BASED METHODS
Reasearch area:
Applied Electrodynamics
Session:
O2
(
Oral
)
Presentation time:
2026-04-27 09:30
–
2026-04-27 09:45