DocumentCode :
2841815
Title :
Proceedings 1998 International Conference on Application of Concurrency to System Design
fYear :
1998
fDate :
23-26 March 1998
Abstract :
The following topics were dealt with: hierarchical models; hierarchical verification; systems with timing; Petri net-based verification; high-level nets; hardware verification; algebraic models and languages; and case studies
Keywords :
formal verification; parallel processing; systems analysis; Petri net-based verification; algebraic languages; algebraic models; case studies; concurrency; hardware verification; hierarchical models; hierarchical verification; high-level nets; system design; timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on
Conference_Location :
Fukushima, Japan
Print_ISBN :
0-8186-8350-3
Type :
conf
DOI :
10.1109/CSD.1998.657515
Filename :
657515
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2841815
بازگشت