Search for collections on Wintec Research Archive

Items where Author is "Reeves, Steve"

Group by: Item Type | No Grouping
Number of items: 2.

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

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

This list was generated on Thu Nov 21 01:31:41 2024 UTC.