RB

RAM CHANDRA BHUSHAN

GITAM UNIVERSITY, MNNIT ALLAHABAD, IIT KHARAGPUR

ORCID iD 0000-0003-3094-6182
Follow

Employment

  • GITAM UNIVERSITY ASSISTANT PROFESSOR
    2014 - 2016

Education

  • MNNIT ALLAHABAD Ph.D.
    2016 - Present
  • IIT KHARAGPUR M.TECH
    2010 - 2013

Projects & Funding

Projects & funding information is unavailable.

Publications (3)

  • Modeling and Formally Verifying a Safety-Critical System Through MCRL2
    2018 8th International Conference on Cloud Computing, Data Science & Engineering (Confluence) 2018
    +Save
  • Modelling a safety-critical system through CCS
    International Journal of Applied Engineering Research 2017
    +Save
  • Number of test cases required in achieving statement, branch and path coverage using 'Gcov': An analysis
    2017 7th International Workshop on Computer Science and Engineering, WCSE 2017 2017
    +Save