The repository administrator has not yet configured an RDF license.
Petri net-based verification of security protocol implementation in software evolution
International Journal of Embedded Systems
HTML Summary of #20385 Petri net-based verification of security protocol implementation in software evolution