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
