1
Publications
18
Citations
1
H-Index
2010
Active since
Affiliations
Manipal Academy of Higher Education(Current)
Reswin Rodriquez is an author at Manipal Academy of Higher Education specializing in verification, formal verification, and reliability.
Top concepts
EngineeringReliabilityVerificationFormal MethodsCloud ComputingNetwork AnalysisSoftware TestingFormal VerificationFormal Specification
Publications per year
2010–2010
1
1
Rows per page
1–1 of 1