Next Article in Journal
Optimization of SM2 Algorithm Based on Polynomial Segmentation and Parallel Computing
Next Article in Special Issue
6Trace: An Effective Method for Active IPv6 Topology Discovery
Previous Article in Journal
TS-GRU: A Stock Gated Recurrent Unit Model Driven via Neuro-Inspired Computation
Previous Article in Special Issue
A Multi-Layered Defence Strategy against DDoS Attacks in SDN/NFV-Based 5G Mobile Networks
 
 

Order Article Reprints

Journal: Electronics, 2024
Volume: 13
Number: 4660

Article: A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
Authors: by Rémi Garcia and Paolo Modesti
Link: https://www.mdpi.com/2079-9292/13/23/4660

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.

Quote and Order Details

Contact Person

Invoice Address

Notes or Comments

Validate and Place Order

The order must be prepaid after it is placed

req denotes required fields.
Back to TopTop