…
comment: The repository administrator has not yet configured an RDF license.
primary topic: On verification of implementation of security specification with Petri nets' protocol inheritance

On verification of implementation of security specification with Petri nets' protocol inheritance
type: AcademicArticle
type: Article
date: 2016
status: peerReviewed
status: published
author list: authors
type: EPrint
type: ConferenceItemEPrint
is part of: repository

Institute of Electrical and Electronics Engineers Inc.
type: Organization

2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016
type: Collection

Shingo Yamaguchi
type: Person
given name: Shingo
family name: Yamaguchi

Wenshan Tang
type: Person
given name: Wenshan
family name: Tang

Mohd Anuaruddin Bin Ahmadon
type: Person
given name: Mohd Anuaruddin Bin
family name: Ahmadon

Zhaolong Gou
type: Person
given name: Zhaolong
family name: Gou

HTML Summary of #20404 On verification of implementation of security specification with Petri nets' protocol inheritance
format: text/html
primary topic: On verification of implementation of security specification with Petri nets' protocol inheritance