Browsing by Author "Jaidka, Sapna"
Now showing items 1-2 of 2
-
A Coloured Petri Net approach to model and analyze safety-critical interactive systems
Jaidka, Sapna; Reeves, Steve; Bowen, Judy (IEEE, 2019)To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We ... -
Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets
Jaidka, Sapna (The University of Waikato, 2020)To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. Generally, existing techniques focus either on modelling the user interface or on modelling the functionality of ...
Co-authors for Sapna Jaidka
Sapna Jaidka has 2 co-authors in Research Commons.