Semantics and verification of  a language for modelling hardware architectures

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	Formal Methods and Hybrid Real-Time Systems
Editors	Cliff B. Jones, Zhiming Liu, Jim Woodcock
Publisher	Springer
Publication date	2007
Pages	300-319
Publication status	Published - 2007

Series	Lecture Notes in Computer Science
Number	4700

OpenUrl availability

@inbook{3c5dd440d8ba4d3cb5d386716e15c873,

title = "Semantics and verification of a language for modelling hardware architectures",

author = "Hansen, \{Michael Reichhardt\} and Jan Madsen and Brekling, \{Aske Wiid\}",

year = "2007",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "4700",

pages = "300--319",

editor = "Jones, \{Cliff B.\} and Zhiming Liu and Jim Woodcock",

booktitle = "Formal Methods and Hybrid Real-Time Systems",

}

Semantics and verification of a language for modelling hardware architectures. / Hansen, Michael Reichhardt ; Madsen, Jan; Brekling, Aske Wiid.
Formal Methods and Hybrid Real-Time Systems. ed. / Cliff B. Jones; Zhiming Liu; Jim Woodcock. Springer, 2007. p. 300-319 (Lecture Notes in Computer Science; No. 4700).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - Semantics and verification of a language for modelling hardware architectures

AU - Hansen, Michael Reichhardt

AU - Madsen, Jan

AU - Brekling, Aske Wiid

PY - 2007

Y1 - 2007

M3 - Book chapter

T3 - Lecture Notes in Computer Science

SP - 300

EP - 319

BT - Formal Methods and Hybrid Real-Time Systems

A2 - Jones, Cliff B.

A2 - Liu, Zhiming

A2 - Woodcock, Jim

PB - Springer

ER -