Shodhganga : a reservoir of Indian theses @ INFLIBNET
The Shodhganga@INFLIBNET Centre provides a platform for research students to deposit their Ph.D. theses and make it available to the entire scholarly community in open access.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/325322
| Title: | Formal Verification and Automated analysis of Software Product Lines |
| Researcher: | Ganesh Khandu Narwane |
| Guide(s): | A. K. Bhattacharjee |
| Keywords: | Engineering Engineering and Technology |
| University: | Homi Bhabha National Institute |
| Completed Date: | 2018 |
| Abstract: | newline |
| Pagination: | |
| URI: | http://hdl.handle.net/10603/325322 |
| Appears in Departments: | Department of Engineering Sciences |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 10_chap 05.pdf | Attached File | 5.78 MB | Adobe PDF | View/Open |
| 11_chap 06.pdf | 2.81 MB | Adobe PDF | View/Open | |
| 12_misc.pdf | 7.78 MB | Adobe PDF | View/Open | |
| 1_title.pdf | 168.24 kB | Adobe PDF | View/Open | |
| 2_prelim pages.pdf | 2.03 MB | Adobe PDF | View/Open | |
| 3_abstract.pdf | 1.15 MB | Adobe PDF | View/Open | |
| 4_contents.pdf | 735.84 kB | Adobe PDF | View/Open | |
| 5_tab fig list.pdf | 1 MB | Adobe PDF | View/Open | |
| 6_chap 01.pdf | 11.72 MB | Adobe PDF | View/Open | |
| 7_chap 02.pdf | 6.66 MB | Adobe PDF | View/Open | |
| 80_recommendation.pdf | 168.24 kB | Adobe PDF | View/Open | |
| 8_chap 03.pdf | 24.72 MB | Adobe PDF | View/Open | |
| 9_chap 04.pdf | 19.53 MB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: