| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita: Efficient test case generation for validation of UML activity diagrams. Design Autom. for Emb. Sys. 14(2): 105-130 (2010) |
| 2008 | ||
| 2 | | Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita: Coverage-driven automatic test generation for uml activity diagrams. ACM Great Lakes Symposium on VLSI 2008: 139-142 |
| 2002 | ||
| 1 | | Dhrubajyoti Kalita, Pramod P. Khargonekar: Formal verification for analysis and design of logic controllers for reconfigurable machining systems. IEEE Transactions on Robotics 18(4): 463-474 (2002) |
| 1 | Mingsong Chen | [2] [3] |
| 2 | Pramod P. Khargonekar | [1] |
| 3 | Prabhat Mishra | [2] [3] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page