A denotational semantics for SIL-1 as basis for transformational design of digital systems

C. Huijs

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined
Title of host publication8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))
Place of PublicationAmsterdam
Pages13-25
Publication statusPublished - 25 Mar 1994

Keywords

  • METIS-119367

Cite this

Huijs, C. (1994). A denotational semantics for SIL-1 as basis for transformational design of digital systems. In 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)) (pp. 13-25). Amsterdam.
Huijs, C. / A denotational semantics for SIL-1 as basis for transformational design of digital systems. 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam, 1994. pp. 13-25
@inproceedings{f477fbe8aa84485ab711408d7daceca3,
title = "A denotational semantics for SIL-1 as basis for transformational design of digital systems",
keywords = "METIS-119367",
author = "C. Huijs",
year = "1994",
month = "3",
day = "25",
language = "Undefined",
pages = "13--25",
booktitle = "8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))",

}

Huijs, C 1994, A denotational semantics for SIL-1 as basis for transformational design of digital systems. in 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam, pp. 13-25.

A denotational semantics for SIL-1 as basis for transformational design of digital systems. / Huijs, C.

8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam, 1994. p. 13-25.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - A denotational semantics for SIL-1 as basis for transformational design of digital systems

AU - Huijs, C.

PY - 1994/3/25

Y1 - 1994/3/25

KW - METIS-119367

M3 - Conference contribution

SP - 13

EP - 25

BT - 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))

CY - Amsterdam

ER -

Huijs C. A denotational semantics for SIL-1 as basis for transformational design of digital systems. In 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam. 1994. p. 13-25