Chethan CU

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Safety Critical

Support Systems

Top Venues

Publications

Atit Mishra, Manjunatha Rao, Chethan CU, Vanishree Rao, Yogananda V. Jeppu, Nagaraj Murthy
An auto-review tool for model-based testing of safety-critical systems. JAMAICA@ISSTA (2013)