DocumentCode :
2211214
Title :
Proceedings Second International Conference on Application of Concurrency to System Design
fYear :
2001
fDate :
25-29 June 2001
Abstract :
The ACSD conference, in its six sessions, covers the following topics: semantic correctness testing and model checking; performance analysis; asynchronous communication modelling; action refinement in the verification framework; synthesis of Petri nets; asynchronous hardware design; synchronous programming and embedded systems; software engineering with concurrency models; and automated scheduling
Keywords :
Petri nets; concurrency theory; object-oriented methods; performance evaluation; systems analysis; Petri nets; action refinement; asynchronous communication modelling; asynchronous hardware design; automated scheduling; concurrency models; embedded systems; model checking; performance analysis; semantic correctness testing; software engineering; synchronous programming; verification framework;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Application of Concurrency to System Design, 2001. Proceedings. 2001 International Conference on
Conference_Location :
Newcastle upon Tyne, UK
Print_ISBN :
0-7695-1071-X
Type :
conf
DOI :
10.1109/CSD.2001.981756
Filename :
981756
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2211214
بازگشت