Applying verification methods to non-exhaustive verification of software/hardware systems

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

Original language	English
Title of host publication	Proc. CSSP-98, 9th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
Editors	J.P. Veen
Place of Publication	Utrecht, Netherlands
Publisher	STW Technology Foundation
Pages	177-183
ISBN (Print)	90-73461-15-4
Publication status	Published - 1998
Event	conference; Proc. CSSP98, Mierlo, Netherlands, 25-27 November 1998 - Mierlo Duration: 1 Jan 1998 → 27 Nov 1998

Conference	conference; Proc. CSSP98, Mierlo, Netherlands, 25-27 November 1998
Abbreviated title	CSSP/98
City	Mierlo
Period	1/01/98 → 27/11/98
Other	Proc. CSSP98, Mierlo, Netherlands, 25-27 November 1998

Cite this

@inproceedings{fbeb546077984f2eba1eaff56cbe02e2,

title = "Applying verification methods to non-exhaustive verification of software/hardware systems",

author = "M.C.W. Geilen and D.R. Dams and J.P.M. Voeten",

year = "1998",

language = "English",

isbn = "90-73461-15-4",

pages = "177--183",

editor = "J.P. Veen",

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

publisher = "STW Technology Foundation",

note = "conference; Proc. CSSP98, Mierlo, Netherlands, 25-27 November 1998, CSSP/98 ; Conference date: 01-01-1998 Through 27-11-1998",

}

Geilen, MCW, Dams, DR & Voeten, JPM 1998, Applying verification methods to non-exhaustive verification of software/hardware systems. in JP Veen (ed.), Proc. CSSP-98, 9th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing. STW Technology Foundation, Utrecht, Netherlands, pp. 177-183, conference; Proc. CSSP98, Mierlo, Netherlands, 25-27 November 1998, Mierlo, 1/01/98.

Applying verification methods to non-exhaustive verification of software/hardware systems. / Geilen, M.C.W.; Dams, D.R.; Voeten, J.P.M.
Proc. CSSP-98, 9th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing. ed. / J.P. Veen. Utrecht, Netherlands: STW Technology Foundation, 1998. p. 177-183.

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

TY - GEN

T1 - Applying verification methods to non-exhaustive verification of software/hardware systems

AU - Geilen, M.C.W.

AU - Dams, D.R.

AU - Voeten, J.P.M.

PY - 1998

Y1 - 1998

M3 - Conference contribution

SN - 90-73461-15-4

SP - 177

EP - 183

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

A2 - Veen, J.P.

PB - STW Technology Foundation

CY - Utrecht, Netherlands

T2 - conference; Proc. CSSP98, Mierlo, Netherlands, 25-27 November 1998

Y2 - 1 January 1998 through 27 November 1998

ER -