| 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] |
| Data Type | Value |
|---|
| Type of Research | Pure Basic Research |
| Research Division | Information and Computing Sciences |
| Research Group | Information systems |
| Research Field | Information security management |
| Research Objective Division | Environmental Policy, Climate Change and Natural Hazards |
| Research Objective Group | Natural hazards |
| Research Objective Field | Natural hazards not elsewhere classified |
| Visit Item on eCite | http://ecite.utas.edu.au/69362 |
