Statistics
Publications
1
Citations
14
H-Index
1
Active since
2014
Pavlos Efstathopoulos is an author specializing in formal methods, secure software development lifecycle, and safety-critical software engineering.
Publications per year
2014–2014
1
1
Rail, Space, Security: Three Case Studies for SPARK 2014
Claire Dross, Pavlos Efstathopoulos, David Lesens et al. · 2014 · 14 citations
1–1 of 1