Semi- automated approach to support logical formalism for requirements analysis and validation

dc.contributor.advisorBiswas, K. K.
dc.contributor.authorSharma, Richa
dc.date.accessioned2016-09-12
dc.date.accessioned2024-10-29T09:56:07Z
dc.date.issued2016
dc.identifier.urihttp://10.17.50.146:4000/handle/123456789/48
dc.relation.ispartofseriesTH5007
dc.subjectLogic, Mathematical and symbolic
dc.titleSemi- automated approach to support logical formalism for requirements analysis and validation
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TH-5007.pdf
Size:
557.23 KB
Format:
Adobe Portable Document Format