Advanced Research Working Conference on Correct Hardware Design Methodologies

ID:DA0739064X

Alias Name

CHARME

Advanced Research Working Conference on Correct Hardware Design and Verification Methods

Conference on Correct Hardware Design Methodologies, Advanced Research Working

IFIP WG 10.2 Advanced Research Working Conference, CHARME

IFIP WG 10.5 Advanced Research Working Conference, CHARME

Search authors sharing the same name

Search Results1-6 of 6

1

Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings

Dominique Borrione, Wolfgang Paul (eds.)

Springer c2005 Lecture notes in computer science 3725

Available at 5 libraries
2

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings

Daniel Geist, Enrico Tronci (Eds.)

Springer c2003 Lecture notes in computer science 2860

Available at 22 libraries
3

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

Tiziana Margaria, Tom Melham (eds.)

Springer c2001 Lecture notes in computer science 2144

Available at 29 libraries
4

Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Laurence Pierre, Thomas Kropf (eds.)

Springer c1999 Lecture notes in computer science 1703

Available at 33 libraries
5

Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings

Paolo E. Camurati, Hans Eveking (eds.)

Springer c1995 Lecture notes in computer science 987

Available at 47 libraries
6

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings

George J. Milne, Laurence Pierre (eds.)

Springer-Verlag c1993 Lecture notes in computer science 683

: gw , : us

Available at 56 libraries

Advanced Research Working Conference on Correct Hardware Design Methodologies

Search Results1-6 of 6

Search this author

Related Authors