Akash Nag
Indian Institute of Technology Dhanbad(IN)Centre for Women's Development Studies(IN)
Publications by Year
Research Areas
Formal Methods in Verification, Robotics and Sensor-Based Localization, High-Temperature Coating Behaviors, Software Testing and Debugging Techniques, Spatial Cognition and Navigation
Most-Cited Works
- → Surface Topography Analysis of Mg-Based Composites with Different Nanoparticle Contents Disintegrated Using Abrasive Water Jet(2021)10 cited
- → Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design(2021)10 cited
- → MDL Suite: A language, generator and compiler for describing mazes(2020)1 cited