Till innehållet
English
Sök
Sök på liu.se
Meny
Utbildning
Forskning
Samverkan
Hem
Om LiU
Aktuellt
Jobba på LiU
Kontakt
Start
Charilaos Skandylas
Charilaos Skandylas
Postdoktor
Publikationer
2024
Narges Khakpour, Charilaos Skandylas (2024)
Compositional Security Analysis of Dynamic Component-based Systems
PROCEEDINGS OF 2024 39TH ACM/IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2024, s. 1232-1244
(Konferensbidrag)
Vidare till DOI
Taggar
Realtidssystem (RTSLAB)
Programvara och system (SAS)
Institutionen för datavetenskap (IDA)
Linköpings universitet (LIU)
Medarbetare
Charilaos Skandylas (chask89)
Postdoktor
Dela på
Facebook
Facebook
LinkedIn
LinkedIn
Email
Email