1
Publications
19
Citations
1
H-Index
2022
Active since
Affiliations
Queen Mary University of London(Current)
David Janeček is an author at Queen Mary University of London specializing in formal methods, computer engineering, and information security.
Top concepts
EngineeringData ScienceData SecurityFormal MethodsCloud ComputingComputer ScienceProgram AnalysisHardware SecurityInternet ProtocolSoftware Analysis
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1