…
comment: The repository administrator has not yet configured an RDF license.
primary topic: Petri net-based verification of security protocol implementation in software evolution

Petri net-based verification of security protocol implementation in software evolution
type: AcademicArticle
type: Article
date: 2018
volume: 10
issue: 6
is part of: International Journal of Embedded Systems
status: peerReviewed
status: published
author list: authors
type: EPrint
type: ArticleEPrint
is part of: repository

Inderscience Publishers
type: Organization

International Journal of Embedded Systems
type: Collection
issn: 17411068

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

B.B. Gupta
type: Person
given name: B.B.
family name: Gupta

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

HTML Summary of #20385 Petri net-based verification of security protocol implementation in software evolution
format: text/html
primary topic: Petri net-based verification of security protocol implementation in software evolution