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

Provably correct conflict prevention bands algorithms

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

Certifying assembly with formal security proofs: The case of BBS

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

Sequential and distributed on-the-fly computation of weak tau-confluence

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

Exploiting step semantics for efficient bounded model checking of asynchronous systems

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

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

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

Refinement-oriented models of Stateflow charts

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

SAT-solving in CSP trace refinement

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

Refinement checking for privacy policies

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