24
Publications
491
Citations
14
H-Index
1982
Active since
Abha Moitra is an author at GE Global Research (United States) specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringComputer ScienceSystems EngineeringSoftware DesignSoftware EngineeringSoftware AnalysisProgram AnalysisFormal VerificationFormal MethodsSoftware Testing
Publications per year
1982–2022
24
24
Requirements Capture and Analysis in ASSERT(TM)
Andrew Crapo, Abha Moitra, Craig McMillan et al. · 2017 · 33 citations
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System
Baoluo Meng, Daniel Larraz, Kit Siu et al. · Systems · 2021 · 25 citations · Full text
Towards Development of Complete and Conflict-Free Requirements
Abha Moitra, Kit Siu, Andrew Crapo et al. · 2018 · 24 citations
Rows per page
1–5 of 24