DocumentCode
3708610
Title
[Title page i]
fYear
2015
fDate
6/1/2015 12:00:00 AM
Abstract
The following topics are dealt with: model checking; verification; semantics; processor instruction set; Petri net extension; concurrency application; and system design.
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design (ACSD), 2015 15th International Conference on
Electronic_ISBN
1550-4808
Type
conf
DOI
10.1109/ACSD.2015.1
Filename
7352390
Link To Document