دانلود رایگان مقالات نشریه ISI دانش برنامه نویسی کامپیوتر

یک الگوریتم برای تأیید عدم بلوک سازمانی با استفاده از رویدادهای خاص

An algorithm for compositional nonblocking verification using special events

30 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

طراحی یک کامپایلر تأیید: درسهایی که از توسعه نابینایان آموخته شده است

Designing a verifying compiler: Lessons learned from developing Whiley

30 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude

34 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

Formal verification of function blocks applied to IEC 61131-3

42 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه