Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets

Del Castillo | Wolfram Hardt

---

März 1998

Typ	InProceedings
Quelle	GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Adresse	Heinz Nixdorf Institut, Paderborn
Bibtex	Anzeigen @InProceedings{DeCaWoHa98,      address      = {Heinz Nixdorf Institut, Paderborn},      author       = {Del Castillo, Wolfram Hardt},      title        = {Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets},      month        = {March},      year         = {1998},      booktitle    = {GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, }