Arun Chakrapani Rao

According to our database¹, Arun Chakrapani Rao authored at least 3 papers between 2002 and 2017.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2017

More Automated Formal Methods?! If so, why, where & how?

[BibT_eX]

[DOI]

Proceedings of the Automated Formal Methods, 2017

2006

Systems modelling of a driver information system - automotive industry case study.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/SMC International Conference on System of Systems Engineering, 2006

2002

A visual framework for formal systems development using interval temporal logic.

[BibT_eX]

[DOI]

PhD thesis, 2002