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

Changing system interfaces consistently: A new refinement strategy for CSP∥B

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

Predicate abstraction in a program logic calculus

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

Partial order reduction for state/event LTL with application to component-interaction automata

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

A semantics for Behavior Trees using CSP with specification commands

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

Incremental reasoning with lazy behavioral subtyping for multiple inheritance

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

Property specifications for workflow modelling

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