CHARME'99 Books
Correct Hardware Design And Verification Methods: 10th Ifip Wg10.5 Advanced Research Working Conference, Charme'99, Bad Herrenalb, Germany, September ...
By Thomas Kropf, CHARME'99 (1999 Bad Herrenalb, Germany), Laurence Pierre, Germany) Charme'99 (1999 : Bad Herrenalb, CHARME'99
Charme’99 Is The Tenth In A Series Of Working Conferences Devoted To The Dev- Opment And Use Of Leading-edge Formal Techniques And Tools For The Design And Veri?cation Of Hardware And Systems. Prev...
Read More
Correct Hardware Design And Verification Methods
By Thomas Kropf, Laurence Pierre, CHARME'99, Thomas Kropf; Laurence Pierre
CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Prev...
Read More