1–20 of 30 hits
|

    Parallelism in Planar Manipulators: A Measure

    Rao, A.C. | Online Contents | 2006

    A genetic algorithm for epicyclic gear trains

    Rao, A.C. | Online Contents | 2003

    Model based validation techniques for complex control systems

    McMurran, R. / Rao, A.C. / Jones, P. | Tema Archive | 2006

    Applying Design Verification Tools in Automotive Software V&V

    Rao, A.C. / Rajeev, A.C. / Yeolekar, A. et al. | British Library Conference Proceedings | 2011

    Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems

    Rao, A.C. / Dixit, M.G. / Sethu, R. et al. | British Library Conference Proceedings | 2011

    A critical analysis of model-based formal verification efforts within the automotive industry

    Rao,A.C. / McMurran,R. / Jones,R.P. et al. | Automotive engineering | 2008