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