6
Publications
128
Citations
6
H-Index
2003
Active since
Affiliations
Prakash Peranandam is an author at General Motors (India) specializing in systems engineering, computer engineering, and software engineering.
Top concepts
EngineeringSystems EngineeringComputer EngineeringSoftware EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisModeling And SimulationSimulation
Publications per year
2003–2019
6
6
Bounded Property Checking with Symbolic Simulation.
Jürgen Ruf, Prakash Peranandam · 2003 · 16 citations
Rows per page
1–5 of 6