مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

233579

Title :

Table of contents

fYear :

2014

fDate :

23-27 June 2014

Abstract :

The following topics are dealt with: concurrency; system design; logic; model checking; automata; dataflow; programming; runtime support; unfolding; and interaction.

Keywords :

automata theory; concurrency (computers); data flow computing; formal verification; logic; programming; automata; concurrency; dataflow; interaction; logic; model checking; programming; runtime support; system design; unfolding;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Application of Concurrency to System Design (ACSD), 2014 14th International Conference on

Conference_Location :

Tunis La Marsa

Type :

conf

DOI :

10.1109/ACSD.2014.8

Filename :

7016318

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=233579