Formal modelling of reactive hardware/software systems

J.P.M. Voeten; P.H.A. Putten, van der; M.C.W. Geilen; M.P.J. Stevens

Formal modelling of reactive hardware/software systems

J.P.M. Voeten, P.H.A. Putten, van der, M.C.W. Geilen, M.P.J. Stevens

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

Original language	English
Title of host publication	Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
Editors	J.P. Veen
Place of Publication	Utrecht, Netherlands
Publisher	STW Technology Foundation
Pages	663-670
ISBN (Print)	90-73461-12-X
Publication status	Published - 1997
Event	CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing - Mierlo, Netherlands Duration: 27 Nov 1997 → 28 Nov 1997

Conference

Conference	CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
Abbreviated title	CSSP-97
Country/Territory	Netherlands
City	Mierlo
Period	27/11/97 → 28/11/97

Cite this

@inproceedings{903bf4032fed42cfb4a905d0b92a2caa,

title = "Formal modelling of reactive hardware/software systems",

author = "J.P.M. Voeten and {Putten, van der}, P.H.A. and M.C.W. Geilen and M.P.J. Stevens",

year = "1997",

language = "English",

isbn = "90-73461-12-X",

pages = "663--670",

editor = "J.P. Veen",

booktitle = "Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing",

publisher = "STW Technology Foundation",

note = "CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing, CSSP-97 ; Conference date: 27-11-1997 Through 28-11-1997",

}

Voeten, JPM, Putten, van der, PHA, Geilen, MCW & Stevens, MPJ 1997, Formal modelling of reactive hardware/software systems. in JP Veen (ed.), Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing. STW Technology Foundation, Utrecht, Netherlands, pp. 663-670, CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing, Mierlo, Netherlands, 27/11/97.

Formal modelling of reactive hardware/software systems. / Voeten, J.P.M.; Putten, van der, P.H.A.; Geilen, M.C.W. et al.
Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing. ed. / J.P. Veen. Utrecht, Netherlands: STW Technology Foundation, 1997. p. 663-670.

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

TY - GEN

T1 - Formal modelling of reactive hardware/software systems

AU - Voeten, J.P.M.

AU - Putten, van der, P.H.A.

AU - Geilen, M.C.W.

AU - Stevens, M.P.J.

PY - 1997

Y1 - 1997

M3 - Conference contribution

SN - 90-73461-12-X

SP - 663

EP - 670

BT - Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing

A2 - Veen, J.P.

PB - STW Technology Foundation

CY - Utrecht, Netherlands

T2 - CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing

Y2 - 27 November 1997 through 28 November 1997

ER -