File(s) not publicly available
The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets
conference contribution
posted on 2023-05-24, 10:17 authored by Shi, L, Nixon, PaddyNo description available
History
Publication title
DARTS'95: Workshop on Design and Analysis of Real-Time SystemsPublisher
DARTSPlace of publication
BelguimEvent title
Brussels, BelgiumEvent Venue
Universite Libre de Bruxelles, BelgiumDate of Event (Start Date)
1995-11-09Date of Event (End Date)
1995-11-10Repository Status
- Restricted
