Arun Chakrapani Rao

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 1

Top Topics

Provably Correct

Reactive Systems

Top Venues

De Montfort University, Leicester, UK (PHD)

Education History

De Montfort University, Leicester, UK

PHD

Publications

Arun Chakrapani Rao
More Automated Formal Methods?! If so, why, where & how? AFM@NFM (2017)
Arun Chakrapani Rao, Gunwant Dhadyalla, R. Peter Jones, Ross McMurran
Systems modelling of a driver information system - automotive industry case study. SoSE (2006)