Mechanized Reasoning and Hardware Design || A Formal HDL...

Philosophical Transactions of the Royal Society Physical and Engineering Sciences (1990-1995) 1992 / 04 Vol. 339; Iss. 1652

Mechanized Reasoning and Hardware Design || A Formal HDL and its Use in the FM9001 Verification

Warren A. Hunt and Bishop C. Brock
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
339
Language:
english
Journal:
Philosophical Transactions: Physical Sciences and Engineering
DOI:
10.2307/54011
Date:
April, 1992
File:
PDF, 398 KB
english, 1992
Conversion to is in progress
Conversion to is failed