Madhu Gopinathan and Conflict-Tolerant - Free people check

(1 - 7 from 7

)

Computer Aided Verification (CAV) 2008

www.princeton.edu

Sujatha Kashyap and Vijay Garg. Producing short counterexamples using ``crucial events''. Deepak D'Souza and Madhu Gopinathan. Conflict-Tolerant Features.

Computer Aided Verification: 20th International Conference, CAV

books.google.com.ua

... USA, July 7-14, 2008, Proceedings Aarti Gupta Sharad Malik. Conflict-Tolerant Features⋆ Deepak D'Souza and Madhu Gopinathan Indian Institute of Science ...

CiteSeerX — Conflict-Tolerant Switching Controllers

citeseerx.ist.psu.edu

BibTeX @MISC{Gopinathan_conflict-tolerantswitching, author = {Madhu Gopinathan and S. Ramesh and Prahladavaradan Sampath}, title = {Conflict-Tolerant Switching ...

CiteSeerX — Conflict-tolerant features

citeseerx.ist.psu.edu

The methodology is based on the notion of “conflict-tolerant” features that are designed to continue offering ... {Deepak D'Souza and Madhu Gopinathan ...

All web results to the name "Madhu Gopinathan"

mypublications - prahladsampath

sites.google.com

... Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath. Conflict-tolerant real-time features. Fifth International Conference on the Quantitative Evaluaiton of ...

(PDF) Conflict-Tolerant Features | Madhu Gopinathan - Academia.edu

www.academia.edu

We consider systems composed of a base system with multiple “features” or “controllers”, each of which independently advise the system on how to react to input...

(PDF) Conflict-Tolerant Real-Time Features | Madhu Gopinathan -...

www.academia.edu

Conflict-Tolerant Real-Time Features

Related search requests for Madhu Gopinathan

Pavithra Prabhakar
Aditya Nori

People
Forename "Madhu" (1856)
Name "Gopinathan" (159)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Madhu Gopinathan and Conflict-Tolerant Free People Check