Sl. No.
| Books Chapters
| Author |
Publisher, Year |
|
01 |
Formal Assurance of Signaling Safety -- A Railways Perspective
Book Title: In Handbook of Research on Emerging Innovations in Rail Transportation Engineering |
Pallab Dasgupta Mahesh Mangal |
IGI Global, 2016 (Electronically available) |
02 |
Early Time Budgeting for Component-Based Embedded Control Systems.
Book Title: Embedded Systems Development
Ed: A. S-Vincentelli, H. Zeng, M.Di-Natale, P.Marwedel |
Manoj J Dixit, S. Ramesh, Pallab Dasgupta |
Springer, 2014 (Electronically available) |
03 |
Can Semi-Formal be made more Formal?
Book Title: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems.
Ed: S.Ramesh, P.Sampath. |
Ansuman Banerjee, Pallab Dasgupta, P.P. Chakrabarti |
Springer, 2007 |
04 |
Agent Searching.
Book Title: Computational Mathematics, Modelling and Algorithms, , 397-444. Multiobjective Heuristic Search |
Pallab Dasgupta, P.P. Chakrabarti, S.C.DeSarkar |
Narosa Publishing House, 1999 |
|