Prashanth Adurthi is an author at Clemson University specializing in formal methods, computer science, and simulation.
Top concepts
SimulationEngineeringFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisParallel ComputingFormal VerificationSystems Engineering
Publications per year
2006–2006
1
1
Michele C. Weigle, Prashanth Adurthi, Félix Hernández-Campos et al. · ACM SIGCOMM Computer Communication Review · 2006 · 130 citations
Rows per page
1–1 of 1