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

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