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

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car

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

Inference of Session Types From Control Flow

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

Reasoning about QoS Contracts in the Probabilistic Duration Calculus

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

Transaction Scripts: Making Implicit Scenarios Explicit

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

Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata

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