Login / Signup

Petri net-based verification of security protocol implementation in software evolution.

Mohd Anuaruddin Bin AhmadonShingo YamaguchiBrij B. Gupta
Published in: Int. J. Embed. Syst. (2018)
Keyphrases