Neel Madhav

Publication Activity (10 Years)

Years Active: 1990-2020
Publications (10 Years): 1

Top Topics

Prediction Model

Top Venues

Publications

Neel Madhav, Ranjit Sadakale
Analysis of demagnetized BLDC Motor using MATLAB Simulink model and AWT analysis. ICCCNT (2020)
Neel Madhav
Testing Ada 95 Programs for Conformance to Rapide Architectures. Ada-Europe (1996)
Neel Madhav, Sigurd Meldal
An object-oriented approach to formal specification of reactive systems. ICDCS (1991)
John C. Mitchell, Sigurd Meldal, Neel Madhav
An Extension of Standard ML Modules with Subtyping and Inheritance. POPL (1991)
Neel Madhav, Sriram Sankar
Application of formal specification to software maintenance. ICSM (1990)
Neel Madhav, Walter Mann
A methodology for formal specification and implementation of Ada packages. COMPSAC (1990)