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 Systems Management
Objective Division:Environment
Objective Group:Natural Hazards
Objective Field:Natural Hazards in Antarctic and Sub-Antarctic Environments
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