eCite Digital Repository

The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets

Citation

Shi, L and Nixon, Paddy, The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets, DARTS'95: Workshop on Design and Analysis of Real-Time Systems, 9-10 November, 1995, Universite Libre de Bruxelles, Belgium (1994) [Conference Extract]

Item Details

Item Type:Conference Extract
Research Division:Information and Computing Sciences
Research Group:Information systems
Research Field:Information security management
Objective Division:Environmental Policy, Climate Change and Natural Hazards
Objective Group:Natural hazards
Objective Field:Natural hazards not elsewhere classified
UTAS Author:Nixon, Paddy (Professor Paddy Nixon)
ID Code:69362
Year Published:1994
Deposited By:Research Division
Deposited On:2011-04-20
Last Modified:2015-01-20
Downloads:0

Repository Staff Only: item control page