חיפוש חיפוש תמונות מפות YouTube חדשות Gmail Drive יומן עוד »
כניסה
ספרים ספרים 11 - 11 מתוך 11 עבור Coudert, JC Madre, and C. Berthet. Verifying temporal properties of sequential machines....
" Coudert, JC Madre, and C. Berthet. Verifying temporal properties of sequential machines without building their state diagrams. "
Asynchronous Circuits - עמוד 370
מאת Janusz A. Brzozowski, Carl-Johan H. Seger - 1995 - 404 דפים
תצוגה מקדימה מוגבלת - מידע על ספר זה

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

Andreas Kuehlmann - 2003 - 714 דפים
...International Conference on Computer Aided Design, pages 126— 129, 1990. [28] 0. Coudert, JC Mache, and C. Berthet. Verifying temporal properties of sequential...machines without building their state diagrams. In Computer Aided Verification, pages 75—84, 1990. [29] J. Darringer. The application of program verification...
תצוגה מקדימה מוגבלת - מידע על ספר זה




  1. הספרייה שלי
  2. עזרה
  3. חיפוש מתקדם של ספרים