1
Publications
37
Citations
1
H-Index
2023
Active since
Affiliations
Elkin Cruz is an author at University of Illinois Urbana-Champaign specializing in autonomous systems, aviation systems, and safety engineering.
Top concepts
EngineeringVerificationFormal MethodsSafety ScienceAviation SystemsComputer ScienceProgram AnalysisAerospace SystemsSpace EngineeringAutonomous Systems
Publications per year
2023–2023
1
1
Formal Verification of Safety-Critical Aerospace Systems
Saswata Paul, Elkin Cruz, Airin Dutta et al. · IEEE Aerospace and Electronic Systems Magazine · 2023 · 37 citations
Rows per page
1–1 of 1