Items where Author is "Sardesai, Shantanu"
Up a level |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Al-Hadhrami, Nasser, Aziz, Benjamin, Sardesai, Shantanu and Othmane, Lotfi Ben (2015) Incremental Development of RBAC-Controlled E-Marking System Using the B Method. In: 10th International Conference on Availability, Reliability and Security, ARES 2015, Toulouse, France, August 24-27, 2015.