A process algebraic mutation framework with application to a vehicle charging protocol.

Published in: Veh. Commun. (2021)

Keyphrases

main contribution
theoretical framework
lightweight
genetic algorithm
case study
process model
electric vehicles
real time
neural network
web services
evolutionary algorithm