Transformational Design of Digital Systems based on Graph Rewriting

Corrie Huijs

    Research output: Working paper

    12 Downloads (Pure)
    Original languageEnglish
    PublisherUniversity of Twente
    Number of pages7
    Publication statusPublished - 1997

    Keywords

    • Specification and verification
    • Transformational design
    • Graph rewriting
    • Behaviour preserving transformations

    Cite this