Browse by Author/Person

Jaidka, Sapna (2020) Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets. PhD thesis, UNSPECIFIED.

Jaidka, Sapna and Reeves, Steve and Bowen, Judy (2019) Formal modelling of safety-critical interactive devices using coloured petri nets. FMIS: Formal Methods for Interactive Systems 2019, Porto, Portugal, 7 October, 2019.

Prabhu, Sunitha and Jaidka, Sapna (2019) SQL and PL-SQL: Analysing teaching methods. The 10th annual CITRENZ conference, Nelson, New Zealand, 09-11 October, 2019.

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

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

Jaidka, Sapna and Reeves, Steve and Bowen, Judy (2019) A coloured petri net approach to model and analyze safety-critical interactive systems. APSEC 2019, Putrajaya, Malaysia, 2 December - 5 December, 2019.