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 |