Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

Petri net-based verification of security protocol implementation in software evolution
Mohd Anuaruddin Bin Ahmadon; Shingo Yamaguchi; B.B. Gupta
International Journal of Embedded Systems (IJES), 2018 Vol.10 No.6, pp.503 - 517
11 - 14 =

Thank you for your feedback.

Return to top