Real-time concepts for a formal specification language for software hardware systems

M.C.W. Geilen; J.P.M. Voeten

Real-time concepts for a formal specification language for software hardware systems

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
Redacteuren	J.P. Veen
Plaats van productie	Utrecht, Netherlands
Uitgeverij	STW Technology Foundation
Pagina's	185-192
ISBN van geprinte versie	90-73461-12-X
Status	Gepubliceerd - 1997
Evenement	CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing - Mierlo, Nederland Duur: 27 nov. 1997 → 28 nov. 1997

Congres

Congres	CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
Verkorte titel	CSSP-97
Land/Regio	Nederland
Stad	Mierlo
Periode	27/11/97 → 28/11/97

Citeer dit

@inproceedings{0856ebaca1c543a286bc2b7204ad57ca,

title = "Real-time concepts for a formal specification language for software hardware systems",

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

year = "1997",

language = "English",

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

pages = "185--192",

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",

}

Geilen, MCW & Voeten, JPM 1997, Real-time concepts for a formal specification language for software hardware systems. in JP Veen (reds.), Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing. STW Technology Foundation, Utrecht, Netherlands, blz. 185-192, CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing, Mierlo, Nederland, 27/11/97.

Real-time concepts for a formal specification language for software hardware systems. / Geilen, M.C.W.; Voeten, J.P.M.
Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing. reds. / J.P. Veen. Utrecht, Netherlands: STW Technology Foundation, 1997. blz. 185-192.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Real-time concepts for a formal specification language for software hardware systems

AU - Geilen, M.C.W.

AU - Voeten, J.P.M.

PY - 1997

Y1 - 1997

M3 - Conference contribution

SN - 90-73461-12-X

SP - 185

EP - 192

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 -