Book Chapter

Ahmed, Monjur and Jaidka, Sapna and Sarkar, Nurul I. (2020) Security in Decentralised Computing, IoT and Industrial IoT. In: Industrial IoT Challenges, Design Principles, Applications, and Security. Springer, Cham, Springer Nature Switzerland AG 2020, pp. 191-211. ISBN 978-3-030-42500-5 UNSPECIFIED

Ahmed, Monjur and Jaidka, Sapna and Sarkar, Nurul I. (2020) Security in decentralised computing, IoT and industrial IoT. In: Industrial IoT: Challenges, design principles, applications, and security. Springer International Publishing, pp. 191-211. ISBN 978303042500-5 UNSPECIFIED

Paper presented at a conference, workshop or other event, and published in the proceedings

Prabhu, Sunitha and Jaidka, Sapna (2019) SQL and PL-SQL: Analysing teaching methods. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Jaidka, Sapna and Reeves, Steve and Bowen, Judy (2019) Formal modelling of safety-critical interactive devices using coloured petri nets. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Jaidka, Sapna and Reeves, Steve and Bowen, Judy (2019) A coloured petri net approach to model and analyze safety-critical interactive systems. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED