DocumentCode :
3106949
Title :
Seventh International Conference on Application of Concurrency to System Design-Title
fYear :
2007
fDate :
10-13 July 2007
Abstract :
The following topics are dealt with: system-level modeling and design; asynchronous circuits synthesis; model checking; process algebras; multiprocessor systems.
Keywords :
asynchronous circuits; concurrency theory; multiprocessing systems; process algebra; systems analysis; asynchronous circuits synthesis; concurrency application; model checking; multiprocessor systems; process algebras; system design; system-level modeling;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location :
Bratislava
ISSN :
1550-4808
Print_ISBN :
0-7695-2902-X
Type :
conf
DOI :
10.1109/ACSD.2007.30
Filename :
4276252
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3106949
بازگشت