Semi- automated approach to support logical formalism for requirements analysis and validation
dc.contributor.advisor | Biswas, K. K. | |
dc.contributor.author | Sharma, Richa | |
dc.date.accessioned | 2016-09-12 | |
dc.date.accessioned | 2024-10-29T09:56:07Z | |
dc.date.issued | 2016 | |
dc.identifier.uri | http://10.17.50.146:4000/handle/123456789/48 | |
dc.relation.ispartofseries | TH5007 | |
dc.subject | Logic, Mathematical and symbolic | |
dc.title | Semi- automated approach to support logical formalism for requirements analysis and validation | |
dc.type | Thesis |
Files
Original bundle
1 - 1 of 1