| dc.contributor.author | Kundu, Debasish | |
| dc.date.accessioned | 2015-01-06T06:54:32Z | |
| dc.date.available | 2015-01-06T06:54:32Z | |
| dc.date.issued | 2014-04 | |
| dc.identifier.govdoc | NB14953 | |
| dc.identifier.uri | http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/3495 | |
| dc.language.iso | en | en |
| dc.publisher | IIT Kharagpur | en |
| dc.subject | Graph Model | en |
| dc.subject | Infeasible Path Detection | en |
| dc.subject | Performance Analysis | en |
| dc.subject | Automatic Code Generation | en |
| dc.subject | MM path coverage | en |
| dc.subject | Static analysis techniques | en |
| dc.subject | MM Coverage Model | en |
| dc.subject | Sequence Integration Graph | en |
| dc.subject | Dynamic analysis techniques | en |
| dc.subject | UML sequence diagram | en |
| dc.title | Sequence Integration Graph and its Applications to Model Based Software Development | en |
| dc.type | Thesis | en |