|
Search the dblp DataBase
Ambar A. Gadkari:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ambar A. Gadkari, S. Ramesh
Automated Synthesis of Assertion Monitors using Visual Specifications. [Citation Graph (0, 0)][DBLP] DATE, 2005, pp:390-395 [Conf]
- Ambar A. Gadkari, S. Ramesh, Rubin A. Parekhji
CESC: a visual formalism for specification and verification of SoCs. [Citation Graph (0, 0)][DBLP] ACM Great Lakes Symposium on VLSI, 2004, pp:354-357 [Conf]
- Ambar A. Gadkari, S. Ramesh
Automated Synthesis of Assertion Monitors using Visual Specifications [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. [Citation Graph (, )][DBLP]
Search in 0.039secs, Finished in 0.039secs
|