فهرست مقالات توابع انتقال حالتحل‏کننده معادلات صحيحمعادلات چندجمله‏ای با متغيرهای صحيحBDD و Boolean Satisfiability

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL ‌
  بيژن عليزاده زین العابدین نوابی