Order Article Reprints
Journal: World Electr. Veh. J., 2025
Volume: 16
Number: 494
Article:
Formal Modelling and Verification of Multi-Parameter Context and Agent Transition Systems: Application to Urban Delivery Zone and Autonomous Electric Vehicle
Authors:
by
Abir Nemouchi, Ahmed Bouzenada, Djamel Eddine Saidouni and Gregorio DÃaz
Link:
https://www.mdpi.com/2032-6653/16/9/494
MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover
and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article
and designed to be complimentary to the journal.