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

L Shi, Patrick Nixon

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationUnknown Host Publication
PublisherDARTS
Publication statusPublished (in print/issue) - 1994
EventDARTS'95: Workshop on Design and Analysis of Real-Time Systems - Universite Libre de Bruxelles, Belgium
Duration: 1 Jan 1994 → …

Workshop

WorkshopDARTS'95: Workshop on Design and Analysis of Real-Time Systems
Period1/01/94 → …

Bibliographical note

]

Keywords

  • n/a

Cite this