Browsing by Author Kanjilal, Ananya
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2019 | Modeling, analysis and verification of real-time software systems: an integrated approach | Bhattacharya, Swapan; Kanjilal, Ananya; Hazra, Rumpa |