Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo and Gupta, B.B. (2018) Petri net-based verification of security protocol implementation in software evolution. International Journal of Embedded Systems, 10 (6). 503 – 517. ISSN 17411068

Full text not available from this repository.

Item Type:	Article
Additional Information:	Cited by: 7
Depositing User:	Mr Ahmad Suhairi UTP
Date Deposited:	06 Nov 2025 06:21
Last Modified:	06 Nov 2025 06:21
URI:	https://khub.utp.edu.my/scholars/id/eprint/20385

Actions (login required)

View Item