A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems

P.F.A. Middelhoek, C. Huijs, G.E. Mekenkamp, E.W. Prangsma, E. Engels

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

Original language	Undefined
Title of host publication	High Level Design Validation and Test Workshop 1996
Place of Publication	Oakland
Pages	-
Number of pages	16
Publication status	Published - 15 Nov 1996

Keywords

@inproceedings{5ddc3c88adc04b319b596a4fff17235a,

title = "A Methodology for the Design of Guaranteed Correct and Efficient Digital Systems",

keywords = "METIS-119453",

author = "P.F.A. Middelhoek and C. Huijs and G.E. Mekenkamp and E.W. Prangsma and E. Engels",

year = "1996",

month = nov,

day = "15",

language = "Undefined",

pages = "--",

booktitle = "High Level Design Validation and Test Workshop 1996",

}