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 contribution

    Original languageEnglish
    Title of host publicationUnknown Host Publication
    PublisherDARTS
    Publication statusPublished - 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 → …

    Keywords

    • n/a

    Cite this