Transformational Design of Digital Systems based on Graph Rewriting

Corrie Huijs

Research output: Working paperProfessional

6 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

Huijs, Corrie. / Transformational Design of Digital Systems based on Graph Rewriting. University of Twente, 1997.
@techreport{b7fe5196bb574cfc9dbeb54cbf4e7304,
title = "Transformational Design of Digital Systems based on Graph Rewriting",
keywords = "Specification and verification, Transformational design, Graph rewriting, Behaviour preserving transformations",
author = "Corrie Huijs",
year = "1997",
language = "English",
publisher = "University of Twente",
address = "Netherlands",
type = "WorkingPaper",
institution = "University of Twente",

}

Transformational Design of Digital Systems based on Graph Rewriting. / Huijs, Corrie.

University of Twente, 1997.

Research output: Working paperProfessional

TY - UNPB

T1 - Transformational Design of Digital Systems based on Graph Rewriting

AU - Huijs, Corrie

PY - 1997

Y1 - 1997

KW - Specification and verification

KW - Transformational design

KW - Graph rewriting

KW - Behaviour preserving transformations

M3 - Working paper

BT - Transformational Design of Digital Systems based on Graph Rewriting

PB - University of Twente

ER -